[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?