--- a/reports/report-runner.sh	Wed Nov 07 23:21:08 2012 +0100
+++ b/reports/report-runner.sh	Mon Nov 12 19:11:38 2012 +0100
@@ -1,3 +1,3 @@
 #!/bin/sh
 DIR=`dirname $0`
-exec "$DIR/../../../projects/smalltalk/stx" -I  -f "$DIR/report-runner.st" "$@"
+exec "$DIR/../../../projects/smalltalk/stx" -abortOnSEGV -I  -f "$DIR/report-runner.st" "$@"