diff options
author | 2015-10-27 18:13:55 +0100 | |
---|---|---|
committer | 2015-10-28 12:52:27 +0100 | |
commit | 38aacaa96abee65edb64bf88f15016d54ce31568 (patch) | |
tree | df62c7b9d550c5f0cc91029b318c2a2a1bca40dd /configure.ml | |
parent | 1235c6c3cfc6770920f46de30b1c4b0f5cb44b19 (diff) |
Seeing configure as a static resolution of path continued (not yet on windows).
This makes sense probably on Windows too, to be evaluated, maybe .exe
suffix should be added.
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ml b/configure.ml index 37c45f3e6..173429ba8 100644 --- a/configure.ml +++ b/configure.ml @@ -478,7 +478,7 @@ let camlbin, caml_version, camllib = | None -> try let camlc = which camlexec.byte in let dir = Filename.dirname camlc in - rebase_camlexec dir camlexec; + if not arch_win32 then rebase_camlexec dir camlexec; (* win32: TOCHECK *) dir, camlc with Not_found -> die (sprintf "Error: cannot find '%s' in your path!\n" camlexec.byte ^ |