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 /includes/RtsAPI.h | |
| parent | fa0406830b8c757ebaf3b0e8a1ca7967f7e0c9c7 (diff) | |
| download | haskell-d18b5d53e74318e4a6bc2ad0557ff71a00c1abe1.tar.gz | |
make shutdownHaskellAndExit() shut down the RTS and exit immediately
(#5402)
Diffstat (limited to 'includes/RtsAPI.h')
| -rw-r--r-- | includes/RtsAPI.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/includes/RtsAPI.h b/includes/RtsAPI.h index 1444dbc3c5..dc151faf07 100644 --- a/includes/RtsAPI.h +++ b/includes/RtsAPI.h @@ -43,7 +43,11 @@ typedef struct Capability_ Capability; extern void startupHaskell ( int argc, char *argv[], void (*init_root)(void) ); extern void shutdownHaskell ( void ); -extern void shutdownHaskellAndExit ( int exitCode ); +extern void shutdownHaskellAndExit ( int exitCode ) +#if __GNUC__ >= 3 + __attribute__((__noreturn__)) +#endif + ; extern void getProgArgv ( int *argc, char **argv[] ); extern void setProgArgv ( int argc, char *argv[] ); extern void getFullProgArgv ( int *argc, char **argv[] ); |