diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2016-01-31 10:51:58 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2016-01-31 10:51:58 +0100 |
commit | 72774b031084e5260cf0c0df5239ed63d136ba6c (patch) | |
tree | e5a97f9f80cae702c8fa714a83f9f39b9429123b /cbits | |
parent | 2796361516ebf60825189018cea24d2c5c24ea34 (diff) |
Use more direct CApiFFI for pPrPr_disableITimers
Diffstat (limited to 'cbits')
-rw-r--r-- | cbits/ghcrts.c | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/cbits/ghcrts.c b/cbits/ghcrts.c deleted file mode 100644 index 9003675..0000000 --- a/cbits/ghcrts.c +++ /dev/null @@ -1,15 +0,0 @@ -#ifdef __GLASGOW_HASKELL__ -// for 'void StopTimer(void)' prototype -# include "Rts.h" -#endif - -#define HSUNIX_EXECVPE_H_NO_COMPAT -#include "execvpe.h" - -/* Copied verbatim from ghc/lib/std/cbits/system.c. */ -void pPrPr_disableITimers (void) -{ -#ifdef __GLASGOW_HASKELL__ - stopTimer(); -#endif -} |