From e1ddf51abb3a89392cc9da9a36b74f0d69f9a36b Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Wed, 27 Jun 2007 09:29:41 +0000 Subject: [PATCH] +RTS -V0 disables the interval timer completely (for repeatable debugging) --- rts/RtsFlags.c | 2 +- rts/Timer.c | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/rts/RtsFlags.c b/rts/RtsFlags.c index 1cf7700..47ad794 100644 --- a/rts/RtsFlags.c +++ b/rts/RtsFlags.c @@ -403,7 +403,7 @@ usage_text[] = { " -C 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 Master tick interval in seconds.", +" -V 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 --- 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 -- 1.7.10.4