diff options
Diffstat (limited to 'rts/Messages.c')
| -rw-r--r-- | rts/Messages.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Messages.c b/rts/Messages.c index 8fab314bc4..a9c794d823 100644 --- a/rts/Messages.c +++ b/rts/Messages.c @@ -129,6 +129,9 @@ loop: } else if (i == &stg_WHITEHOLE_info) { +#if defined(PROF_SPIN) + ++whitehole_executeMessage_spin; +#endif goto loop; } else |