From 2903754f04906d96a5334da3be22d22ffe840805 Mon Sep 17 00:00:00 2001
From: Simon Marlow <marlowsd@gmail.com>
Date: Wed, 11 Jul 2012 11:29:24 +0100
Subject: Profiling: don't report IDLE time by default

You can get it with +RTS -P, as with the other systemish cost centres
like "GC".
---
 rts/Profiling.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'rts/Profiling.c')

diff --git a/rts/Profiling.c b/rts/Profiling.c
index ed374b562f..cc4d78e448 100644
--- a/rts/Profiling.c
+++ b/rts/Profiling.c
@@ -673,7 +673,8 @@ ignoreCC (CostCentre *cc)
         (   cc == CC_OVERHEAD
 	 || cc == CC_DONT_CARE
 	 || cc == CC_GC 
-         || cc == CC_SYSTEM)) {
+         || cc == CC_SYSTEM
+         || cc == CC_IDLE)) {
 	return rtsTrue;
     } else {
 	return rtsFalse;
@@ -687,7 +688,8 @@ ignoreCCS (CostCentreStack *ccs)
         (   ccs == CCS_OVERHEAD
          || ccs == CCS_DONT_CARE
          || ccs == CCS_GC
-         || ccs == CCS_SYSTEM)) {
+         || ccs == CCS_SYSTEM
+         || ccs == CCS_IDLE)) {
         return rtsTrue;
     } else {
 	return rtsFalse;
-- 
cgit v1.2.1