From: Akim Demaille <akim@epita.fr>
Date: Tue, 25 Jun 2002 12:05:38 +0000 (+0000)
Subject: * src/getargs.c (report_argmatch): Initialize strtok().
X-Git-Tag: BISON-1_49b~134
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/9be0c25bf054b026304e6ec480c3893817625607

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

diff --git a/ChangeLog b/ChangeLog
index 644548c9..fe51f376 100644
--- 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 1de53f07..775c51c6 100644
--- 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 fee3ff97..5789152a 100644
--- 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,