[project @ 2001-11-26 12:58:17 by simonpj]
authorsimonpj <unknown>
Mon, 26 Nov 2001 12:58:17 +0000 (12:58 +0000)
committersimonpj <unknown>
Mon, 26 Nov 2001 12:58:17 +0000 (12:58 +0000)
commitd6181fe1c1584b4e5f12e4dd58b26cfd5b68c560
tree8d7ea59b0ede567f23e2f56e01c0b400d9a0035b
parent5a1ac8dcffd7477aa448f2f8e1552df8c91381ad
[project @ 2001-11-26 12:58:17 by simonpj]
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?
ghc/rts/Itimer.c