reports/report-runner.sh
changeset 145 250f9e74e0b9
parent 106 32eb7674acbd
child 189 bd2bed33aba7
--- a/reports/report-runner.sh	Tue Apr 09 14:04:46 2013 +0200
+++ b/reports/report-runner.sh	Tue Apr 09 14:08:23 2013 +0200
@@ -1,3 +1,3 @@
 #!/bin/sh
 DIR=`dirname $0`
-exec "$DIR/../../../projects/smalltalk/stx" -Mold:64000 -I -abortOnSEGV -f "$DIR/report-runner.st" "$@"
+exec "$DIR/../../../projects/smalltalk/stx" -Mold:64000 -I --abortOnSEGV -f "$DIR/report-runner.st" "$@"