From f956c304c521049006067456acb28bb3518ac07f Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 23 Oct 2002 18:41:04 +0000 Subject: [PATCH] (reader): Just return if a complaint has been issued, instead of exiting, so that 'main' can report times. --- src/reader.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- 2.50.0