Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does.

[ghc-hetmet.git] / rts / Timer.c

diff --git a/rts/Timer.c b/rts/Timer.c
index 0e0b538..586991a 100644 (file)
--- a/rts/Timer.c
+++ b/rts/Timer.c
@@ -93,5 +93,7 @@ startTimer(void)
 void
 stopTimer(void)
 {
-  stopTicker();
+  if (RtsFlags.MiscFlags.tickInterval != 0) {
+      stopTicker();
+  }
 }