* 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 28bd565fb14acb8ac3d5d374360f3094a6145069..ee4cec217966a4f0fcdd409fc358c25235dd83d2 100644 (file)
--- 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.
 2002-10-22  Akim Demaille  <akim@epita.fr>
 
        * src/system.h: Include sys/types.