From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 23 Oct 2002 18:41:04 +0000 (+0000)
Subject: (reader): Just return if a complaint has been issued,
X-Git-Tag: BISON-1_875~390
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/f956c304c521049006067456acb28bb3518ac07f

(reader): Just return if a complaint has been issued,
instead of exiting, so that 'main' can report times.
---

diff --git a/src/reader.c b/src/reader.c
index 928a5408..1e94d180 100644
--- a/src/reader.c
+++ b/src/reader.c
@@ -508,7 +508,7 @@ reader (void)
   /* If something went wrong during the parsing, don't try to
      continue.  */
   if (complaint_issued)
-    exit (EXIT_FAILURE);
+    return;
 
   /* Grammar has been read.  Do some checking */
   if (nrules == 0)