Turn the "too many hs_exit()s" fatal error into a warning

diff --git a/ghc/rts/RtsStartup.c b/ghc/rts/RtsStartup.c
index 32c73f4..147de7b 100644 (file)
--- 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) {