diff options
| author | Simon Marlow <simonmar@microsoft.com> | 2007-06-27 09:29:41 +0000 |
|---|---|---|
| committer | Simon Marlow <simonmar@microsoft.com> | 2007-06-27 09:29:41 +0000 |
| commit | e1ddf51abb3a89392cc9da9a36b74f0d69f9a36b (patch) | |
| tree | d68b621327b0251460f0123a254c6a18f2864a32 | |
| parent | 65ff44face84ae30f1ddf7d009d51c1778f8c7d3 (diff) | |
| download | haskell-e1ddf51abb3a89392cc9da9a36b74f0d69f9a36b.tar.gz | |
+RTS -V0 disables the interval timer completely (for repeatable debugging)
| -rw-r--r-- | rts/RtsFlags.c | 2 | ||||
| -rw-r--r-- | rts/Timer.c | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 1cf7700b51..47ad794a47 100644 --- 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 05d1fecdc7..0e0b5386b7 100644 --- 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 |