In the Win32 build, don't call initProfTimer unless PROFILING
is on. This mirrors the Unix deal. Indeed initProfTimer
isn't defined if PROFILING is on.
I don't know how this works for anyone else on Win32!
Sigbjorn: have I done this right, or am I misunderstanding?
/* -----------------------------------------------------------------------------
- * $Id: Itimer.c,v 1.26 2001/11/22 14:25:12 simonmar Exp $
+ * $Id: Itimer.c,v 1.27 2001/11/26 12:58:17 simonpj Exp $
*
* (c) The GHC Team, 1995-1999
*
}
}
+#ifdef PROFILING
initProfTimer();
+#endif
return 0;
}