[project @ 2000-12-19 12:50:37 by simonmar]
authorsimonmar <unknown>
Tue, 19 Dec 2000 12:50:37 +0000 (12:50 +0000)
committersimonmar <unknown>
Tue, 19 Dec 2000 12:50:37 +0000 (12:50 +0000)
commita7a59741cb8abf828faaff811d8d23e27efcd084
tree54a88d387bd0a39d4f9993728343f1a6ba2f0f07
parent026b7e0c913c10b231eafa56d5dc8ac88145a48a
[project @ 2000-12-19 12:50:37 by simonmar]
new flag: +RTS -t
Prints one-line GC stats, in the style of -Rghc-timing.
ghc/rts/RtsFlags.c
ghc/rts/RtsFlags.h