diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-07 09:32:32 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-07 09:32:32 +0000 |
commit | 801147a25196d01f280a80fb3e64e644cfc92d83 (patch) | |
tree | ca95311b47bf0cdce76e2f8fed1fae0149c028a1 /configure.ml | |
parent | 52a37c791a349f8580653c8b2f53025c583ee024 (diff) |
[configure] fix spelling mistake
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 33387f4c6..37315aae7 100644 --- a/configure.ml +++ b/configure.ml @@ -183,14 +183,14 @@ let program_in_path prog = Chooses the first one whose execution outputs a non-empty (first) line. Dies with message [msg] if none is found. *) -let select_command msg canditates = +let select_command msg candidates = let rec search = function | [] -> die msg | (p, x, y) :: tl -> if fst (tryrun p (x @ y)) <> "" then List.fold_left (Printf.sprintf "%s %s") p x else search tl - in search canditates + in search candidates (** As per bug #4828, ocamlfind on Windows/Cygwin barfs if you pass it a quoted path to camlpXo via -pp. So we only quote camlpXo on not |