diff options
-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(); } |