reports/report-runner.sh
author Jan Vrany <jan.vrany@fit.cvut.cz>
Wed, 22 Jan 2014 12:22:29 +0100
changeset 224 9a6fb3d14e65
parent 189 bd2bed33aba7
child 563 9dda25363094
permissions -rwxr-xr-x
Added -i | --ident option to report-runner. The ident string is then part of output file name.

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