/* -----------------------------------------------------------------------------
- * $Id: Itimer.c,v 1.11 2000/03/20 09:42:49 andy Exp $
+ * $Id: Itimer.c,v 1.13 2000/04/03 15:54:49 simonmar Exp $
*
* (c) The GHC Team, 1995-1999
*
#include "Rts.h"
#include "Itimer.h"
+#include "Proftimer.h"
#include "Schedule.h"
/* As recommended in the autoconf manual */
#endif
lnat total_ticks = 0;
-rtsBool do_prof_ticks = rtsFalse;
static
void
total_ticks++;
#ifdef PROFILING
- if (do_prof_ticks == rtsTrue) {
- CCS_TICK(CCCS);
- }
+ handleProfTick();
#endif
/* For threadDelay etc., see Select.c */
}
#endif
+#if !defined(HAVE_SETITIMER) && !defined(mingw32_TARGET_OS)
unsigned int
getourtimeofday(void)
{
gettimeofday(&tv, (struct timezone *) NULL);
return (tv.tv_sec * 1000000 + tv.tv_usec);
}
+#endif