From 72774b031084e5260cf0c0df5239ed63d136ba6c Mon Sep 17 00:00:00 2001
From: Herbert Valerio Riedel <hvr@gnu.org>
Date: Sun, 31 Jan 2016 10:51:58 +0100
Subject: Use more direct CApiFFI for pPrPr_disableITimers

---
 cbits/ghcrts.c | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 cbits/ghcrts.c

(limited to 'cbits')

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
-}
-- 
cgit v1.2.3