mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-12 13:53:03 +00:00
(reader): Just return if a complaint has been issued,
instead of exiting, so that 'main' can report times.
This commit is contained in:
@@ -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)
|
||||
|
||||
Reference in New Issue
Block a user