X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FRtsFlags.c;h=c11cc3e925607ab5259815eccd02af148323e601;hb=42c62ec74a48ca7b450c46e2b8d35faf4e2ae8f7;hp=2e8ee9e9c8809b4a8a0e9653c486e14b99b3e925;hpb=320738062c7a81f062c5adab98a1a1c4fdbd4bc7;p=ghc-hetmet.git

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index 2e8ee9e..c11cc3e 100644
--- a/rts/RtsFlags.c
+++ b/rts/RtsFlags.c
@@ -554,7 +554,7 @@ error = rtsTrue;
                   else if (strequal("info",
                                &rts_argv[arg][2])) {
                       printRtsInfo();
-                      exit(0);
+                      stg_exit(0);
                   }
                   else {
 		      errorBelch("unknown RTS option: %s",rts_argv[arg]);