diff options
author | Tamar Christina <tamar@zhox.com> | 2019-06-02 14:55:34 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-07-15 16:41:01 -0400 |
commit | 71245fcce24723910f12f934fbc4c700658b727a (patch) | |
tree | 83d387775893a72afc97cb73b345864f77b1bf98 /rts/RtsFlags.h | |
parent | 90e69f779b6da755fac472337535a1321cbb7917 (diff) | |
download | haskell-71245fcce24723910f12f934fbc4c700658b727a.tar.gz |
winio: Add new io-manager cmdline options
Diffstat (limited to 'rts/RtsFlags.h')
-rw-r--r-- | rts/RtsFlags.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rts/RtsFlags.h b/rts/RtsFlags.h index c36c64a63b..bfcc43af42 100644 --- a/rts/RtsFlags.h +++ b/rts/RtsFlags.h @@ -10,6 +10,7 @@ #pragma once #include "BeginPrivate.h" +#include <stdbool.h> /* Routines that operate-on/to-do-with RTS flags: */ @@ -21,6 +22,7 @@ char** getUTF8Args(int* argc); void initRtsFlagsDefaults (void); void setupRtsFlags (int *argc, char *argv[], RtsConfig rtsConfig); void freeRtsArgs (void); +bool is_io_mng_native_p (void); extern RtsConfig rtsConfig; |