From a82eb26100d55110ce7d7cb508d49d1fad8ebd37 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Thu, 12 Jun 2014 20:00:18 +0200
Subject: coqc is -Q aware

---
 tools/coqc.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools/coqc.ml')

diff --git a/tools/coqc.ml b/tools/coqc.ml
index 90585c763..1d416a1c4 100644
--- a/tools/coqc.ml
+++ b/tools/coqc.ml
@@ -126,6 +126,7 @@ let parse_args () =
     | "-R" :: s :: "-as" :: t :: rem ->	parse (cfiles,t::"-as"::s::"-R"::args) rem
     | "-R" :: s :: "-as" :: [] -> usage ()
     | "-R" :: s :: t :: rem -> parse (cfiles,t::s::"-R"::args) rem
+    | "-Q" :: s :: t :: rem -> parse (cfiles,t::s::"-Q"::args) rem
     | ("-schedule-vi-checking"
       |"-check-vi-tasks" | "-schedule-vi2vo" as o) :: s :: rem ->
         let nodash, rem =
-- 
cgit v1.2.3