From 8e0140143b8eafe15c0ea64ccccd19abcaf6056b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 26 Feb 2018 13:34:53 +0100 Subject: configure: -warn-error: now takes a bool so that you can also turn it off --- configure.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'configure.ml') diff --git a/configure.ml b/configure.ml index 5d9722a4f..30d2d31f3 100644 --- a/configure.ml +++ b/configure.ml @@ -315,7 +315,7 @@ let devel state = { state with annot = true; warn_error = true; } -let devel_doc = "-local -annot -bin-annot -warn-error" +let devel_doc = "-local -annot -bin-annot -warn-error yes" let get = function | "devel" -> devel @@ -428,8 +428,8 @@ let args_options = Arg.align [ " Force OCaml version"; "-force-findlib-version", arg_set (fun p force_findlib_version -> { p with force_findlib_version }), " Force findlib version"; - "-warn-error", arg_set (fun p warn_error -> { p with warn_error }), - " Make OCaml warnings into errors"; + "-warn-error", arg_bool (fun p warn_error -> { p with warn_error }), + "(yes|no) Make OCaml warnings into errors (default no)"; "-camldir", Arg.String (fun _ -> ()), " Specifies path to 'ocaml' for running configure script"; "-profile", arg_profile, -- cgit v1.2.3