[project @ 1999-07-27 11:02:14 by simonmar]
authorsimonmar <unknown>
Tue, 27 Jul 1999 11:02:14 +0000 (11:02 +0000)
committersimonmar <unknown>
Tue, 27 Jul 1999 11:02:14 +0000 (11:02 +0000)
commit16aca80ef7bbfca10c6c0e44f9400fab7835e1d0
treed3a03092d4b87ca5b85c52e7586469ae3174bd3c
parentbc3bcc2c6b53b712b5a4e290581ef82dd73cd528
[project @ 1999-07-27 11:02:14 by simonmar]
+RTS -s<blah>  ==>  +RTS -S<blah>

for -Rghc-timing.  The former now gives only summary statistics, as
advertised.
ghc/driver/ghc.lprl