Commit e1ddf51a authored by Simon Marlow's avatar Simon Marlow
Browse files

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

parent 65ff44fa
......@@ -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.",
"",
......
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment