reports/report-runner.sh
changeset 75 686f675d9442
child 101 c1a9c731b92a
equal deleted inserted replaced
74:d67d39f7b54e 75:686f675d9442
       
     1 #!/bin/sh
       
     2 DIR=`dirname $0`
       
     3 exec "$DIR/../../../projects/smalltalk/stx" -I  -f "$DIR/report-runner.st" "$@"