summaryrefslogtreecommitdiff
path: root/rts/Profiling.c
diff options
context:
space:
mode:
authorSimon Marlow <marlowsd@gmail.com>2012-07-11 11:29:24 +0100
committerSimon Marlow <marlowsd@gmail.com>2012-07-11 14:33:05 +0100
commit2903754f04906d96a5334da3be22d22ffe840805 (patch)
treed2d62fd749d724d24e708c02445d1aacf92f6be7 /rts/Profiling.c
parent520d82b6ea81b39fcea6b4c06e40b38b85745599 (diff)
downloadhaskell-2903754f04906d96a5334da3be22d22ffe840805.tar.gz
Profiling: don't report IDLE time by default
You can get it with +RTS -P, as with the other systemish cost centres like "GC".
Diffstat (limited to 'rts/Profiling.c')
-rw-r--r--rts/Profiling.c6
1 files changed, 4 insertions, 2 deletions
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;