1 /* -----------------------------------------------------------------------------
2 * $Id: Proftimer.c,v 1.6 2000/04/03 15:54:49 simonmar Exp $
4 * (c) The GHC Team, 1998-1999
6 * Profiling interval timer
8 * ---------------------------------------------------------------------------*/
10 #if defined (PROFILING)
13 #include "Profiling.h"
15 #include "Proftimer.h"
17 rtsBool do_prof_ticks = rtsFalse; /* enable profiling ticks */
21 { /* Stops time profile */
23 do_prof_ticks = rtsFalse;
29 { /* Starts time profile */
31 do_prof_ticks = rtsTrue;
42 #endif /* PROFILING */