From 8c638c2a0dda99e557f0613cb06e1cd745820258 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 16 Sep 2015 15:24:31 +0200
Subject: In configure: -no-native-compiler -> -native-compiler no

---
 configure.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure.ml b/configure.ml
index 3fe34d6cae..cafd7ec29d 100644
--- a/configure.ml
+++ b/configure.ml
@@ -331,8 +331,8 @@ let args_options = Arg.align [
     " Dumps ml annotation files while compiling Coq";
   "-makecmd", Arg.Set_string Prefs.makecmd,
     "<command> Name of GNU Make command";
-  "-no-native-compiler", Arg.Clear Prefs.nativecompiler,
-    " No compilation to native code for conversion and normalization";
+  "-native-compiler", arg_bool Prefs.nativecompiler,
+    " (yes|no) Compilation to native code for conversion and normalization";
   "-coqwebsite", Arg.Set_string Prefs.coqwebsite,
     " URL of the coq website";
   "-force-caml-version", arg_bool Prefs.force_caml_version,
-- 
cgit v1.2.3