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

diff --git a/ChangeLog b/ChangeLog
index 644548c9dc0089d029e4fd8cd5bc1d1e3ab96242..fe51f376fa96a02fde9699d0783e13cf19d08144 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...
 2002-06-20  Akim Demaille  <akim@epita.fr>
 
        * data/bison.simple (b4_symbol_actions): New, replaces...

diff --git a/THANKS b/THANKS
index 1de53f0736ae9f7bedf76d9d4059017e12fd38fc..775c51c69d1aed1b0521f3910b601e5241f4ae65 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
 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
 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 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);
 report_argmatch (char *args)
 {
   ARGMATCH_ASSERT (report_args, report_types);

+  args = strtok (args, ",");

   do
     {
       int report = XARGMATCH ("--report", args,
   do
     {
       int report = XARGMATCH ("--report", args,