rts: Add --internal-counters RTS flag and several counters
[ghc.git] / rts / Messages.c
index 8fab314..a9c794d 100644 (file)
@@ -129,6 +129,9 @@ loop:
     }
     else if (i == &stg_WHITEHOLE_info)
     {
+#if defined(PROF_SPIN)
+        ++whitehole_executeMessage_spin;
+#endif
         goto loop;
     }
     else