diff options
Diffstat (limited to 'rts/Timer.c')
| -rw-r--r-- | rts/Timer.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rts/Timer.c b/rts/Timer.c index 8c178a076b..a5d42fbc9d 100644 --- a/rts/Timer.c +++ b/rts/Timer.c @@ -114,9 +114,9 @@ stopTimer(void) } void -exitTimer(void) +exitTimer (rtsBool wait) { if (RtsFlags.MiscFlags.tickInterval != 0) { - exitTicker(); + exitTicker(wait); } } |