1 /* -----------------------------------------------------------------------------
2 * $Id: Proftimer.c,v 1.5 1999/08/25 16:11:49 simonmar Exp $
4 * (c) The GHC Team, 1998-1999
6 * Profiling interval timer
8 * ---------------------------------------------------------------------------*/
10 /* Only have cost centres etc if PROFILING defined */
12 #if defined (PROFILING)
17 #include "Proftimer.h"
19 nat current_interval = 1; /* Current interval number --
22 nat interval_ticks = DEFAULT_INTERVAL; /* No of ticks in an interval */
24 nat previous_ticks = 0; /* ticks in previous intervals */
25 nat current_ticks = 0; /* ticks in current interval */
29 { /* Stops time profile */
31 do_prof_ticks = rtsFalse;
37 { /* Starts time profile */
39 do_prof_ticks = rtsTrue;
43 #endif /* PROFILING */