* src/getargs.c (report_argmatch): Initialize strtok().

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index fee3ff97b726de003220c2101fd8f9e6d6cc32ef..5789152ab32013b8034e7fc9dca0f3e1a49d093e 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -75,6 +75,7 @@ static void
 report_argmatch (char *args)
 {
   ARGMATCH_ASSERT (report_args, report_types);
+  args = strtok (args, ",");
   do
     {
       int report = XARGMATCH ("--report", args,