diff options
Diffstat (limited to 'ghc/rts/Task.c')
| -rw-r--r-- | ghc/rts/Task.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/ghc/rts/Task.c b/ghc/rts/Task.c index 7621d8b0a7..89db782800 100644 --- a/ghc/rts/Task.c +++ b/ghc/rts/Task.c @@ -176,7 +176,13 @@ discardTask (Task *task) { ASSERT_LOCK_HELD(&sched_mutex); if (!task->stopped) { - IF_DEBUG(scheduler,sched_belch("discarding task %p",(void *)task->id)); + IF_DEBUG(scheduler,sched_belch("discarding task %p", +#ifdef THREADED_RTS + (void *)task->id +#else + (void *)task +#endif + )); task->cap = NULL; task->tso = NULL; task->stopped = rtsTrue; |