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.h | |
| parent | fa0406830b8c757ebaf3b0e8a1ca7967f7e0c9c7 (diff) | |
| download | haskell-d18b5d53e74318e4a6bc2ad0557ff71a00c1abe1.tar.gz | |
make shutdownHaskellAndExit() shut down the RTS and exit immediately
(#5402)
Diffstat (limited to 'rts/RtsMain.h')
| -rw-r--r-- | rts/RtsMain.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rts/RtsMain.h b/rts/RtsMain.h index 24e58199bb..e004480cce 100644 --- a/rts/RtsMain.h +++ b/rts/RtsMain.h @@ -13,6 +13,7 @@ * The entry point for Haskell programs that use a Haskell main function * -------------------------------------------------------------------------- */ -int hs_main(int argc, char *argv[], StgClosure *main_closure); +int hs_main(int argc, char *argv[], StgClosure *main_closure) + GNUC3_ATTRIBUTE(__noreturn__); #endif /* RTSMAIN_H */ |