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

diff --git a/ChangeLog b/ChangeLog
index 644548c..fe51f37 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2002-06-25  Raja R Harinath  <harinath@cs.umn.edu>
+
+       * src/getargs.c (report_argmatch): Initialize strtok().
+
 2002-06-20  Akim Demaille  <akim@epita.fr>
 
        * data/bison.simple (b4_symbol_actions): New, replaces...

diff --git a/THANKS b/THANKS
index 1de53f0..775c51c 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -41,6 +41,7 @@ Paul Eggert             eggert@twinsun.com
 Per Allansson           per@appgate.com
 Peter Hámorský          hamo@upjs.sk
 Piotr Gackiewicz        gacek@intertel.com.pl
+Raja R Harinath         harinath@cs.umn.edu
 Richard Stallman        rms@gnu.org
 Robert Anisko           anisko_r@epita.fr
 Shura                   debil_urod@ngs.ru

diff --git a/src/getargs.c b/src/getargs.c
index fee3ff9..5789152 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,