From c9a9752c76bfb592d775a7fdb9ebe4702ff1aaef Mon Sep 17 00:00:00 2001
From: vgross
Date: Tue, 14 Sep 2010 14:43:01 +0000
Subject: CoqIDE argv parsing delegated to coqtop

Introduces some hacks to have a consistent user experience. When coqtop
prints info on self then exit, return code is 2 if called with
-filteropts, 0 else
For now, no options are accepted by coqide. there is no way for now to
specify a filename that begins with a dash.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13415 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 1d5ba7f118..eb33850a7b 100644
--- a/scripts/coqc.ml
+++ b/scripts/coqc.ml
@@ -163,7 +163,7 @@ let parse_args () =
     | ("-config" | "--config") :: _ -> Usage.print_config (); exit 0
 
     | ("-v"|"--version") :: _ ->
-        Usage.version ()
+        Usage.version 0
     | f :: rem ->
 	if Sys.file_exists f then
 	  parse (f::cfiles,args) rem
-- 
cgit v1.2.3