diff options
author | Simon Marlow <marlowsd@gmail.com> | 2011-08-12 14:26:34 +0100 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2011-08-12 17:15:28 +0100 |
commit | d18b5d53e74318e4a6bc2ad0557ff71a00c1abe1 (patch) | |
tree | 52619880f0f98d3b13c7f2b8c0edd7e67369cec8 /rts/RtsMain.c | |
parent | fa0406830b8c757ebaf3b0e8a1ca7967f7e0c9c7 (diff) | |
download | haskell-d18b5d53e74318e4a6bc2ad0557ff71a00c1abe1.tar.gz |
make shutdownHaskellAndExit() shut down the RTS and exit immediately
(#5402)
Diffstat (limited to 'rts/RtsMain.c')
-rw-r--r-- | rts/RtsMain.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/RtsMain.c b/rts/RtsMain.c index 0ed6df494c..a822da9749 100644 --- a/rts/RtsMain.c +++ b/rts/RtsMain.c @@ -38,6 +38,7 @@ static StgClosure *progmain_closure; /* This will be ZCMain_main_closure */ * INTERPRETER is set */ #ifndef INTERPRETER /* Hack */ +static void real_main(void) GNUC3_ATTRIBUTE(__noreturn__); static void real_main(void) { int exit_status; @@ -112,6 +113,5 @@ int hs_main(int argc, char *argv[], StgClosure *main_closure) #if defined(mingw32_HOST_OS) END_CATCH #endif - return 0; /* not reached, but keeps gcc -Wall happy */ } # endif /* BATCH_MODE */ |