diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2003-09-03 13:26:10 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2003-09-03 13:26:10 +0000 |
| commit | 8c1b83e79fc89eff7b65a6f1386e8458422a6fd0 (patch) | |
| tree | 391809a89a8f4a68f1d57d343a01d96aa98bcfc9 | |
| parent | 7373c5caec5993591fedc924ad53637162034ed7 (diff) | |
PR#1803
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5817 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | yacc/defs.h | 1 | ||||
| -rw-r--r-- | yacc/main.c | 11 |
2 files changed, 11 insertions, 1 deletions
diff --git a/yacc/defs.h b/yacc/defs.h index ff8679ba1..a65e54323 100644 --- a/yacc/defs.h +++ b/yacc/defs.h @@ -226,6 +226,7 @@ extern char lflag; extern char rflag; extern char tflag; extern char vflag; +extern char qflag; extern char sflag; extern char big_endian; diff --git a/yacc/main.c b/yacc/main.c index 8f8590c28..3f2f9ef8e 100644 --- a/yacc/main.c +++ b/yacc/main.c @@ -26,6 +26,7 @@ char lflag; char rflag; char tflag; char vflag; +char qflag; char sflag; char big_endian; @@ -134,7 +135,7 @@ void set_signals(void) void usage(void) { - fprintf(stderr, "usage: %s [-v] [-b file_prefix] filename\n", + fprintf(stderr, "usage: %s [-v] [-q] [-b file_prefix] filename\n", myname); exit(1); } @@ -164,6 +165,10 @@ void getargs(int argc, char **argv) vflag = 1; break; + case 'q': + qflag = 1; + break; + case 'b': if (*++s) file_prefix = s; @@ -188,6 +193,10 @@ void getargs(int argc, char **argv) vflag = 1; break; + case 'q': + qflag = 1; + break; + default: usage(); } |