From: Paul Eggert <eggert@cs.ucla.edu>
Date: Wed, 23 Oct 2002 18:42:04 +0000 (+0000)
Subject: * src/main.c (main): With --trace=time, report times even if a
X-Git-Tag: BISON-1_875~388
X-Git-Url: https://git.saurik.com/bison.git/commitdiff_plain/c55762568f7afe6191cd96fcc645b6faf0a32b77?ds=sidebyside

* src/main.c (main): With --trace=time, report times even if a
non-fatal error occurs.  Formerly, the times were reported in some
such cases but not in others.
* src/reader.c (reader): Just return if a complaint has been issued,
instead of exiting, so that 'main' can report times.
---

diff --git a/ChangeLog b/ChangeLog
index 28bd565f..ee4cec21 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2002-10-23  Paul Eggert  <eggert@twinsun.com>
+
+	* src/main.c (main): With --trace=time, report times even if a
+	non-fatal error occurs.  Formerly, the times were reported in some
+	such cases but not in others.
+	* src/reader.c (reader): Just return if a complaint has been issued,
+	instead of exiting, so that 'main' can report times.
+
 2002-10-22  Akim Demaille  <akim@epita.fr>
 
 	* src/system.h: Include sys/types.