aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
diff options
context:
space:
mode:
authorGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2017-12-07 09:32:32 +0000
committerGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2017-12-07 09:32:32 +0000
commit801147a25196d01f280a80fb3e64e644cfc92d83 (patch)
treeca95311b47bf0cdce76e2f8fed1fae0149c028a1 /configure.ml
parent52a37c791a349f8580653c8b2f53025c583ee024 (diff)
[configure] fix spelling mistake
Diffstat (limited to 'configure.ml')
-rw-r--r--configure.ml4
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