diff options
Diffstat (limited to 'configure.ml')
| -rw-r--r-- | configure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ml b/configure.ml index 411578445c..60ba8b1101 100644 --- a/configure.ml +++ b/configure.ml @@ -526,8 +526,8 @@ let camlbin, caml_version, camllib, findlib_version = | None -> try reset_caml_find camlexec (which camlexec.find) with Not_found -> - die (sprintf "Error: cannot find '%s' in your path!\n" camlexec.find ^ - "Please adjust your path or use the -ocamlfind option of ./configure") + die (sprintf "Error: cannot find '%s' in your path!\n" camlexec.find ^ + "Please adjust your path or use the -ocamlfind option of ./configure") in if not (is_executable camlexec.find) then die ("Error: cannot find the executable '"^camlexec.find^"'.") |