From 16aca80ef7bbfca10c6c0e44f9400fab7835e1d0 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 27 Jul 1999 11:02:14 +0000 Subject: [PATCH] [project @ 1999-07-27 11:02:14 by simonmar] +RTS -s ==> +RTS -S for -Rghc-timing. The former now gives only summary statistics, as advertised. --- ghc/driver/ghc.lprl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl index ff08503..9d25083 100644 --- a/ghc/driver/ghc.lprl +++ b/ghc/driver/ghc.lprl @@ -1731,7 +1731,7 @@ sub runHsc { # emit nofibbish time/bytes-alloc stats to stderr; # see later .stat file post-processing print STDERR "warning: both -Rgc-stats and -Rghc-timing used, -Rghc-timing wins." if $CollectingGCstats; - push(@HsC_rts_flags, "-s$Tmp_prefix.stat"); + push(@HsC_rts_flags, "-S$Tmp_prefix.stat"); push(@Files_to_tidy, "$Tmp_prefix.stat"); } -- 1.7.10.4