From: simonpj <unknown>
Date: Mon, 26 Nov 2001 12:58:17 +0000 (+0000)
Subject: [project @ 2001-11-26 12:58:17 by simonpj]
X-Git-Tag: Approximately_9120_patches~521
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=d6181fe1c1584b4e5f12e4dd58b26cfd5b68c560;p=ghc-hetmet.git

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

diff --git a/ghc/rts/Itimer.c b/ghc/rts/Itimer.c
index d1821f6..98d8ddb 100644
--- a/ghc/rts/Itimer.c
+++ b/ghc/rts/Itimer.c
@@ -1,5 +1,5 @@
 /* -----------------------------------------------------------------------------
- * $Id: Itimer.c,v 1.26 2001/11/22 14:25:12 simonmar Exp $
+ * $Id: Itimer.c,v 1.27 2001/11/26 12:58:17 simonpj Exp $
  *
  * (c) The GHC Team, 1995-1999
  *
@@ -142,7 +142,9 @@ initialize_virtual_timer(nat ms)
     }
   }
 
+#ifdef PROFILING
   initProfTimer();
+#endif
 
   return 0;
 }