From 28533b92f858b348106dc09a751132fde01cb0fb Mon Sep 17 00:00:00 2001 From: phil Date: Mon, 16 Nov 1998 18:54:32 +0000 Subject: [PATCH] *** empty log message *** --- main.c | 3 +-- src/cacao/cacao.c | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/main.c b/main.c index c4e5e9f94..9d5c2eae7 100644 --- a/main.c +++ b/main.c @@ -473,7 +473,6 @@ void exit_handler(void) loader_close (); unicode_close ( literalstring_free ); - if (verbose || getcompilingtime || statistics) { log_text ("CACAO terminated"); if (statistics) @@ -511,7 +510,7 @@ int main(int argc, char **argv) #ifndef USE_THREADS stackbottom = &dummy; #endif - + if (0 != atexit(exit_handler)) panic("unable to register exit_handler"); diff --git a/src/cacao/cacao.c b/src/cacao/cacao.c index c4e5e9f94..9d5c2eae7 100644 --- a/src/cacao/cacao.c +++ b/src/cacao/cacao.c @@ -473,7 +473,6 @@ void exit_handler(void) loader_close (); unicode_close ( literalstring_free ); - if (verbose || getcompilingtime || statistics) { log_text ("CACAO terminated"); if (statistics) @@ -511,7 +510,7 @@ int main(int argc, char **argv) #ifndef USE_THREADS stackbottom = &dummy; #endif - + if (0 != atexit(exit_handler)) panic("unable to register exit_handler"); -- 2.25.1