reports/report-runner.sh
author sr
Tue, 10 Oct 2017 14:44:17 +0200
changeset 357 64730f3af6f4
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" "$@"