reports/report-runner.sh
changeset 189 bd2bed33aba7
parent 145 250f9e74e0b9
child 563 9dda25363094
--- a/reports/report-runner.sh	Sat Jun 29 23:34:55 2013 +0200
+++ b/reports/report-runner.sh	Sun Jun 30 00:44:40 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 --execute "$DIR/report-runner.st" "$@"