X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/6aeb9c579b7e7dd8d9a98c31f75ce7a3e20f1318..9ca7f077a0a5ecdd00c5945c7a7bd3cf46e23c13:/src/getargs.c diff --git a/src/getargs.c b/src/getargs.c index fca4401b..c030db80 100644 --- a/src/getargs.c +++ b/src/getargs.c @@ -282,6 +282,7 @@ Parser:\n\ Output:\n\ -d, --defines[=FILE] also produce a header file\n\ -r, --report=THINGS also produce details on the automaton\n\ + --report-file=FILE write report to FILE\n\ -v, --verbose same as `--report=state'\n\ -b, --file-prefix=PREFIX specify a PREFIX for output files\n\ -o, --output=FILE leave output to FILE\n\ @@ -298,6 +299,7 @@ Warning categories include:\n\ `no-CATEGORY' turn off warnings in CATEGORY\n\ `none' turn off all the warnings\n\ `error' treat warnings as errors\n\ +\n\ "), stdout); fputs (_("\ @@ -333,7 +335,8 @@ version (void) putc ('\n', stdout); fprintf (stdout, - _("Copyright (C) %d Free Software Foundation, Inc.\n"), 2007); + _("Copyright (C) %d Free Software Foundation, Inc.\n"), + PACKAGE_COPYRIGHT_YEAR); fputs (_("\ This is free software; see the source for copying conditions. There is NO\n\ @@ -406,7 +409,8 @@ enum { LOCATIONS_OPTION = CHAR_MAX + 1, PRINT_LOCALEDIR_OPTION, - PRINT_DATADIR_OPTION + PRINT_DATADIR_OPTION, + REPORT_FILE_OPTION }; static struct option const long_options[] = @@ -429,6 +433,7 @@ static struct option const long_options[] = { "graph", optional_argument, 0, 'g' }, { "xml", optional_argument, 0, 'x' }, { "report", required_argument, 0, 'r' }, + { "report-file", required_argument, 0, REPORT_FILE_OPTION }, { "verbose", no_argument, 0, 'v' }, /* Hidden. */ @@ -534,6 +539,10 @@ getargs (int argc, char *argv[]) FLAGS_ARGMATCH (report, optarg); break; + case REPORT_FILE_OPTION: + spec_verbose_file = xstrdup (AS_FILE_NAME (optarg)); + break; + case 'T': FLAGS_ARGMATCH (trace, optarg); break;