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" "$@"