-
Simon Peyton Jones authored
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?
d6181fe1