changeset 103 | a14fad9df08c |
parent 101 | c1a9c731b92a |
child 106 | 32eb7674acbd |
--- a/reports/report-runner.sh Tue Nov 13 10:44:30 2012 +0100 +++ b/reports/report-runner.sh Tue Nov 13 11:33:02 2012 +0100 @@ -1,3 +1,3 @@ #!/bin/sh DIR=`dirname $0` -exec "$DIR/../../../projects/smalltalk/stx" -abortOnSEGV -I -f "$DIR/report-runner.st" "$@" +exec "$DIR/../../../projects/smalltalk/stx" -I -abortOnSEGV -f "$DIR/report-runner.st" "$@"