X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rts%2FTimer.c;h=586991a4db88f939576d752bd4e1c79513221ecd;hb=006a18ea83799c0d4255071a2f8c08d3e9c7d84f;hp=0e0b5386b759530934ca135c98d6148a3e51cb56;hpb=e1ddf51abb3a89392cc9da9a36b74f0d69f9a36b;p=ghc-hetmet.git

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