[project @ 1999-05-20 10:23:42 by simonmar]
authorsimonmar <unknown>
Thu, 20 May 1999 10:23:43 +0000 (10:23 +0000)
committersimonmar <unknown>
Thu, 20 May 1999 10:23:43 +0000 (10:23 +0000)
commit9325140f9be04a52b3f8b0dba419e7073fea453d
treefa54181096621ffd4eef48486c603315f13b6972
parent45dff0adb3df8f40782dd47ac70c8d80f3fe5d72
[project @ 1999-05-20 10:23:42 by simonmar]
+RTS -s<file> now gives "summary" statistics only (i.e. without the per-gc
stat lines).
ghc/rts/RtsFlags.c
ghc/rts/Stats.c