diff options
author | Simon Marlow <marlowsd@gmail.com> | 2012-07-11 11:29:24 +0100 |
---|---|---|
committer | Simon Marlow <marlowsd@gmail.com> | 2012-07-11 14:33:05 +0100 |
commit | 2903754f04906d96a5334da3be22d22ffe840805 (patch) | |
tree | d2d62fd749d724d24e708c02445d1aacf92f6be7 /rts/Profiling.c | |
parent | 520d82b6ea81b39fcea6b4c06e40b38b85745599 (diff) | |
download | haskell-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.c | 6 |
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; |