simonmar 2000/12/19 04:50:37 PST
Modified files:
ghc/rts RtsFlags.c RtsFlags.h
Log:
new flag: +RTS -t
Prints one-line GC stats, in the style of -Rghc-timing.
Revision Changes Path
1.35 +11 -3 fptools/ghc/rts/RtsFlags.c
1.30 +5 -10 fptools/ghc/rts/RtsFlags.h