[project @ 1999-07-15 09:56:04 by simonmar]
authorsimonmar <unknown>
Thu, 15 Jul 1999 09:56:04 +0000 (09:56 +0000)
committersimonmar <unknown>
Thu, 15 Jul 1999 09:56:04 +0000 (09:56 +0000)
commitff85f00f9861382e87a2969fc2a3e976f9c8d1eb
treeb905d2f933411e032675b03f786a280ce93f3b59
parent8ba1296c39129d645cb7ff2a4c06e8b1755f5e27
[project @ 1999-07-15 09:56:04 by simonmar]
Use +RTS -S<file> rather than +RTS -s<file>, since the latter only
gives summary statistics now.
glafp-utils/runstdtest/runstdtest.prl