reports/report-runner.sh
author sr
Tue, 10 Oct 2017 14:45:04 +0200
changeset 370 d9b3eb6618eb
parent 189 bd2bed33aba7
child 563 9dda25363094
permissions -rwxr-xr-x
initial checkin

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