* src/reader.c (parse_include_decl): New, Not yet implemented.

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 24b6d8939e8f9351494fde200adc56158252c300..eee6314f0aff610a62e5c0d57441b487503624b6 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -34,11 +34,12 @@ int no_lines_flag = 0;
 int no_parser_flag = 0;
 int token_table_flag = 0;
 int verbose_flag = 0;
 int no_parser_flag = 0;
 int token_table_flag = 0;
 int verbose_flag = 0;

-int statistics_flag = 0;

 int yacc_flag = 0;     /* for -y */
 int graph_flag = 0;
 int yacc_flag = 0;     /* for -y */
 int graph_flag = 0;

+int trace_flag = 0;

 
 const char *skeleton = NULL;
 
 const char *skeleton = NULL;

+const char *include = NULL;

 
 extern char *program_name;
 
 
 extern char *program_name;
 


@@ -89,9 +90,9 @@ Output:\n\
   -d, --defines              also produce a header file\n\
   -v, --verbose              also produce an explanation of the automaton\n\
   -b, --file-prefix=PREFIX   specify a PREFIX for output files\n\
   -d, --defines              also produce a header file\n\
   -v, --verbose              also produce an explanation of the automaton\n\
   -b, --file-prefix=PREFIX   specify a PREFIX for output files\n\

-  -o, --output-file=FILE     leave output to FILE\n\
-  -g, --graph                also produce a VCG graph description of the \
-automaton\n"), stream);
+  -o, --output=FILE          leave output to FILE\n\
+  -g, --graph                also produce a VCG description of the automaton\n\
+"), stream);

   putc ('\n', stream);
 
   fputs (_("\
   putc ('\n', stream);
 
   fputs (_("\


@@ -168,6 +169,10 @@ getargs (int argc, char *argv[])
        skeleton = optarg;
        break;
 
        skeleton = optarg;
        break;
 

+      case 'I':
+       include = optarg;
+       break;
+

       case 'd':
        /* Here, the -d and --defines options are differentiated.  */
        defines_flag = 1;
       case 'd':
        /* Here, the -d and --defines options are differentiated.  */
        defines_flag = 1;