diff options
Diffstat (limited to 'myocamlbuild.ml')
| -rw-r--r-- | myocamlbuild.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/myocamlbuild.ml b/myocamlbuild.ml index a0e2e7ef7..5a03470a4 100644 --- a/myocamlbuild.ml +++ b/myocamlbuild.ml @@ -58,7 +58,7 @@ let _ = begin Options.ocamllex := A Coq_config.ocamllex; end -let w32 = (Coq_config.arch = "win32") +let w32 = Coq_config.arch_is_win32 let w32pref = "i586-mingw32msvc" let w32ocamlc = w32pref^"-ocamlc" |