diff options
Diffstat (limited to 'rts')
| -rw-r--r-- | rts/sm/NonMovingMark.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/rts/sm/NonMovingMark.c b/rts/sm/NonMovingMark.c index d1b625f7e3..f6272282a8 100644 --- a/rts/sm/NonMovingMark.c +++ b/rts/sm/NonMovingMark.c @@ -737,9 +737,11 @@ void updateRemembSetPushStack(Capability *cap, StgStack *stack) // The concurrent GC has claimed the right to mark the stack. // Wait until it finishes marking before proceeding with // mutation. - while (needs_upd_rem_set_mark((StgClosure *) stack)); + while (needs_upd_rem_set_mark((StgClosure *) stack)) #if defined(PARALLEL_GC) busy_wait_nop(); // TODO: Spinning here is unfortunate +#else + ; #endif return; } |