cvs commit: fptools/ghc/rts Itimer.c
Simon Peyton Jones
Mon, 26 Nov 2001 04:58:18 -0800
simonpj 2001/11/26 04:58:17 PST
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?
Revision Changes Path
1.27 +3 -1 fptools/ghc/rts/Itimer.c