reports/report-runner.sh
author sr
Wed, 18 Oct 2017 11:32:14 +0200
changeset 512 9d572c1caefa
parent 189 bd2bed33aba7
child 563 9dda25363094
permissions -rwxr-xr-x
*** empty log message ***

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