reports/report-runner.sh
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 12 Nov 2012 19:11:38 +0100
changeset 101 c1a9c731b92a
parent 75 686f675d9442
child 103 a14fad9df08c
permissions -rwxr-xr-x
Added -abortOnSEGV option
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`
101
c1a9c731b92a Added -abortOnSEGV option
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 75
diff changeset
     3
exec "$DIR/../../../projects/smalltalk/stx" -abortOnSEGV -I  -f "$DIR/report-runner.st" "$@"