1 /* -----------------------------------------------------------------------------
2 * $Id: Proftimer.c,v 1.7 2001/08/14 13:40:09 sewardj Exp $
4 * (c) The GHC Team, 1998-1999
6 * Profiling interval timer
8 * ---------------------------------------------------------------------------*/
10 #if defined (PROFILING)
12 #include "PosixSource.h"
14 #include "Profiling.h"
16 #include "Proftimer.h"
18 rtsBool do_prof_ticks = rtsFalse; /* enable profiling ticks */
22 { /* Stops time profile */
24 do_prof_ticks = rtsFalse;
30 { /* Starts time profile */
32 do_prof_ticks = rtsTrue;
43 #endif /* PROFILING */