reports/report-runner.sh
author sr
Tue, 10 Oct 2017 14:44:29 +0200
changeset 360 8a359c8fed90
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" "$@"