From c55762568f7afe6191cd96fcc645b6faf0a32b77 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 23 Oct 2002 18:42:04 +0000 Subject: [PATCH] * 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. --- ChangeLog | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/ChangeLog b/ChangeLog index 28bd565..ee4cec2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,11 @@ +2002-10-23 Paul Eggert + + * 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 * src/system.h: Include sys/types. -- 2.7.4