+RTS -S slows things down (esp. in parallel), so use +RTS -s instead
[nofib.git] / runstdtest /
drwxr-xr-x   ..
-rw-r--r-- 473 Makefile
-rw-r--r-- 19084 runstdtest.prl