cbits/ghcrts.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#include "execvpe.h"

#ifdef __GLASGOW_HASKELL__
// for 'void StopTimer(void)' prototype
# include "Rts.h"
#endif

/* Copied verbatim from ghc/lib/std/cbits/system.c. */
void pPrPr_disableITimers (void)
{
#ifdef __GLASGOW_HASKELL__
    stopTimer();
#endif
}