]> git.saurik.com Git - bison.git/commitdiff
* src/getargs.c (report_argmatch): Initialize strtok().
authorAkim Demaille <akim@epita.fr>
Tue, 25 Jun 2002 12:05:38 +0000 (12:05 +0000)
committerAkim Demaille <akim@epita.fr>
Tue, 25 Jun 2002 12:05:38 +0000 (12:05 +0000)
ChangeLog
THANKS
src/getargs.c

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...
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
+Raja R Harinath         harinath@cs.umn.edu
 Richard Stallman        rms@gnu.org
 Robert Anisko           anisko_r@epita.fr
 Shura                   debil_urod@ngs.ru
index fee3ff97b726de003220c2101fd8f9e6d6cc32ef..5789152ab32013b8034e7fc9dca0f3e1a49d093e 100644 (file)
@@ -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,