* src/nullable.c (set_nullable): Useless rules must be skipped,

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 4bcd3775634694d9e83828ff2a8833ece1965484..dd5de7fd8e606ff0b4947b9ddb7ec14b62d86ed0 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -32,9 +32,9 @@ int no_lines_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 trace_flag = 0;
 
 const char *skeleton = NULL;
 
@@ -50,7 +50,7 @@ static struct option longopts[] =
 
   /* Parser. */
   {"skeleton",         required_argument,      0, 'S'},
-  {"debug",            no_argument,            0, 'd'},
+  {"debug",            no_argument,            0, 't'},
   {"locations",                no_argument,    &locations_flag, 1},
   /* was 'a';  apparently unused -wjh */
   {"name-prefix",      required_argument,      0, 'p'},
@@ -63,11 +63,12 @@ static struct option longopts[] =
   {"defines",          optional_argument,      0, 'd'},
   {"verbose",          no_argument,            0, 'v'},
   {"file-prefix",      required_argument,      0, 'b'},
+  {"output",           required_argument,      0, 'o'},
   {"output-file",      required_argument,      0, 'o'},
   {"graph",            optional_argument,      0, 'g'},
 
   /* Hidden. */
-  {"statistics",       no_argument,    &statistics_flag, 1},
+  {"trace",            no_argument,    &trace_flag, 1},
   {0, 0, 0, 0}
 };
 
@@ -118,9 +119,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\
-  -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 (_("\
@@ -183,7 +184,7 @@ getargs (int argc, char *argv[])
        exit (0);
 
       case 'g':
-       /* Here, the -g and --graph=FILE options are differentiated.  */        
+       /* Here, the -g and --graph=FILE options are differentiated.  */
        graph_flag = 1;
        spec_graph_file = optarg;
        break;