From 4ae1107dd5a839496cdb385daf14afee8360352c Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 5 Apr 2006 14:53:16 +0000 Subject: [PATCH] Turn the "too many hs_exit()s" fatal error into a warning --- ghc/rts/RtsStartup.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ghc/rts/RtsStartup.c b/ghc/rts/RtsStartup.c index 32c73f4..147de7b 100644 --- a/ghc/rts/RtsStartup.c +++ b/ghc/rts/RtsStartup.c @@ -313,7 +313,8 @@ void hs_exit(void) { if (hs_init_count <= 0) { - barf("too many hs_exit()s"); + errorBelch("warning: too many hs_exit()s"); + return; } hs_init_count--; if (hs_init_count > 0) { -- 1.7.10.4