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;
{"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}
};
-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 (_("\