Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2001-11-26 12:58:17 by simonpj] · d6181fe1
    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