From ad610c3dfd7ced61cdc582b574fcbf975119ca54 Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Fri, 14 Aug 1998 10:49:32 +0000
Subject: [PATCH] [project @ 1998-08-14 10:49:32 by sof] handle_tick_serial:
 don't tick while reporting a cc profile

---
 ghc/runtime/profiling/Timer.lc |    8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ghc/runtime/profiling/Timer.lc b/ghc/runtime/profiling/Timer.lc
index 3a0a2fb..10f9529 100644
--- a/ghc/runtime/profiling/Timer.lc
+++ b/ghc/runtime/profiling/Timer.lc
@@ -48,6 +48,14 @@ handle_tick_serial(STG_NO_ARGS)
 	abort();
 #endif
 
+#if 0
+    /* Experimental - don't tick if we're in the middle
+       of reporting a cc_profile. Untested.
+    */
+    if (interval_expired)
+       return;
+#endif
+
     if (++current_ticks >= interval_ticks && CCC != STATIC_CC_REF(CC_GC)) {
 #if defined(PROFILING)
 	interval_expired = 1;	/* stop to process interval */
-- 
1.7.10.4