Profiling: don't report IDLE time by default
authorSimon Marlow <marlowsd@gmail.com>
Wed, 11 Jul 2012 10:29:24 +0000 (11:29 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 11 Jul 2012 13:33:05 +0000 (14:33 +0100)
commit2903754f04906d96a5334da3be22d22ffe840805
treed2d62fd749d724d24e708c02445d1aacf92f6be7
parent520d82b6ea81b39fcea6b4c06e40b38b85745599
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