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

#!/bin/sh
DIR=`dirname $0`
exec "$DIR/../../../projects/smalltalk/stx" -abortOnSEGV -I  -f "$DIR/report-runner.st" "$@"