+RTS -V0 disables the interval timer completely (for repeatable debugging)

diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c
index 1cf7700..47ad794 100644 (file)
--- a/rts/RtsFlags.c
+++ b/rts/RtsFlags.c
@@ -403,7 +403,7 @@ usage_text[] = {
 "  -C<secs>  Context-switch interval in seconds.",
 "            0 or no argument means switch as often as possible.",
 "            Default: 0.02 sec; resolution is set by -V below.",
-"  -V<secs>  Master tick interval in seconds.",
+"  -V<secs>  Master tick interval in seconds (0 == disable timer).",
 "            This sets the resolution for -C and the profile timer -i.",
 "            Default: 0.02 sec.",
 "",

diff --git a/rts/Timer.c b/rts/Timer.c
index 05d1fec..0e0b538 100644 (file)
--- a/rts/Timer.c
+++ b/rts/Timer.c
@@ -85,7 +85,9 @@ void
 startTimer(void)
 {
   initProfTimer();
-  startTicker(RtsFlags.MiscFlags.tickInterval, handle_tick);
+  if (RtsFlags.MiscFlags.tickInterval != 0) {
+      startTicker(RtsFlags.MiscFlags.tickInterval, handle_tick);
+  }
 }
 
 void