projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8ba1296
)
[project @ 1999-07-15 09:56:04 by simonmar]
author
simonmar
<unknown>
Thu, 15 Jul 1999 09:56:04 +0000
(09:56 +0000)
committer
simonmar
<unknown>
Thu, 15 Jul 1999 09:56:04 +0000
(09:56 +0000)
Use +RTS -S<file> rather than +RTS -s<file>, since the latter only
gives summary statistics now.
glafp-utils/runstdtest/runstdtest.prl
patch
|
blob
|
history
diff --git
a/glafp-utils/runstdtest/runstdtest.prl
b/glafp-utils/runstdtest/runstdtest.prl
index
4669fb8
..
906f503
100644
(file)
--- a/
glafp-utils/runstdtest/runstdtest.prl
+++ b/
glafp-utils/runstdtest/runstdtest.prl
@@
-158,7
+158,7
@@
foreach $a ( @PgmArgs ) {
# deal with system-specific timing options
$TimingMagic = '';
if ( $SysSpecificTiming =~ /^ghc/ ) {
- $TimingMagic = "+RTS -s$StatsFile -RTS"
+ $TimingMagic = "+RTS -S$StatsFile -RTS"
} elsif ( $SysSpecificTiming eq 'hbc' ) {
$TimingMagic = "-S$StatsFile";
}