reports/report-runner.sh
author Stefan Vogel <sv@exept.de>
Tue, 09 Apr 2013 14:08:23 +0200
changeset 145 250f9e74e0b9
parent 106 32eb7674acbd
child 189 bd2bed33aba7
permissions -rwxr-xr-x
--abortOnSEGV instead of -abortOnSEGV
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
75
686f675d9442 scripts and README added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     1
#!/bin/sh
686f675d9442 scripts and README added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
DIR=`dirname $0`
145
250f9e74e0b9 --abortOnSEGV instead of -abortOnSEGV
Stefan Vogel <sv@exept.de>
parents: 106
diff changeset
     3
exec "$DIR/../../../projects/smalltalk/stx" -Mold:64000 -I --abortOnSEGV -f "$DIR/report-runner.st" "$@"