From 16aca80ef7bbfca10c6c0e44f9400fab7835e1d0 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 27 Jul 1999 11:02:14 +0000
Subject: [PATCH] [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 | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index ff08503cad3a..9d250832bf19 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");
}
--
GitLab