aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
diff options
context:
space:
mode:
authorGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-10-27 18:13:55 +0100
committerGravatar Hugo Herbelin <Hugo.Herbelin@inria.fr>2015-10-28 12:52:27 +0100
commit38aacaa96abee65edb64bf88f15016d54ce31568 (patch)
treedf62c7b9d550c5f0cc91029b318c2a2a1bca40dd /configure.ml
parent1235c6c3cfc6770920f46de30b1c4b0f5cb44b19 (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.ml2
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 ^