reports/report-runner.sh
author Jan Vrany <jan.vrany@fit.cvut.cz>
Fri, 23 Nov 2012 20:04:10 +0100
changeset 106 32eb7674acbd
parent 103 a14fad9df08c
child 145 250f9e74e0b9
permissions -rwxr-xr-x
Added -Mold:64000 for workaround bug in GC
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`
106
32eb7674acbd Added -Mold:64000 for workaround bug in GC
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 103
diff changeset
     3
exec "$DIR/../../../projects/smalltalk/stx" -Mold:64000 -I -abortOnSEGV -f "$DIR/report-runner.st" "$@"