From 40385d05b9d921a871b87be92130af04acc49fe1 Mon Sep 17 00:00:00 2001
From: mdenes
Date: Thu, 24 Jan 2013 09:46:54 +0000
Subject: Fixed parsing of -no-native-compiler flag.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16141 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'scripts')

diff --git a/scripts/coqc.ml b/scripts/coqc.ml
index efff8dbc61..4110411060 100644
--- a/scripts/coqc.ml
+++ b/scripts/coqc.ml
@@ -144,7 +144,7 @@ let parse_args () =
       |"-q"|"-full"|"-profile"|"-just-parsing"|"-echo" |"-unsafe"|"-quiet"
       |"-silent"|"-m"|"-xml"|"-v7"|"-v8"|"-beautify"|"-strict-implicit"
       |"-dont-load-proofs"|"-load-proofs"|"-force-load-proofs"
-      |"-impredicative-set"|"-vm" as o) :: rem ->
+      |"-impredicative-set"|"-vm"|"-no-native-compiler" as o) :: rem ->
 	parse (cfiles,o::args) rem
 
     | ("-where") :: _ ->
-- 
cgit v1.2.3