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

Also, I documented it.  +RTS -V0 disables the internal RTS timer
completely, which is useful for repeatable debugginng.

1 files changed, 3 insertions, 1 deletions

diff --git a/rts/Timer.c b/rts/Timer.c
index 0e0b5386b7..586991a4db 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();
+  }
 }