X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/a005a9c4dc5588fc017a1cb1d19c1560e0e68943..9ca7f077a0a5ecdd00c5945c7a7bd3cf46e23c13:/src/getargs.c?ds=sidebyside

diff --git a/src/getargs.c b/src/getargs.c
index 3e143aa3..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\
@@ -408,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[] =
@@ -431,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. */
@@ -536,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;