reports/report-runner.sh
author Claus Gittinger <cg@exept.de>
Thu, 25 Oct 2012 15:13:58 +0200
changeset 96 1ce506fc7d85
parent 75 686f675d9442
child 101 c1a9c731b92a
permissions -rwxr-xr-x
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
75
686f675d9442 scripts and README added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     1
#!/bin/sh
686f675d9442 scripts and README added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
DIR=`dirname $0`
686f675d9442 scripts and README added
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     3
exec "$DIR/../../../projects/smalltalk/stx" -I  -f "$DIR/report-runner.st" "$@"