reports/report-runner.sh
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" "$@"