X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=glafp-utils%2Frunstdtest%2Frunstdtest.prl;fp=glafp-utils%2Frunstdtest%2Frunstdtest.prl;h=906f503bfc379f02da04cabac9db65e2640b1244;hb=ff85f00f9861382e87a2969fc2a3e976f9c8d1eb;hp=4669fb8303af914c97238fd992c0cda1d5c1bbda;hpb=8ba1296c39129d645cb7ff2a4c06e8b1755f5e27;p=ghc-hetmet.git diff --git a/glafp-utils/runstdtest/runstdtest.prl b/glafp-utils/runstdtest/runstdtest.prl index 4669fb8..906f503 100644 --- 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"; }