--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/benchmarks/benchmark-runner.sh	Thu Nov 15 22:10:02 2012 +0000
@@ -0,0 +1,52 @@
+#!/bin/sh
+
+DEBUGGER=
+PROFILER=
+PROFILER_OPTS=
+
+if [ "$1" = "--gdb" ]
+then
+    shift
+    DEBUGGER=gdb
+fi
+
+if [ "$1" = "--cgdb" ]
+then
+    shift
+    DEBUGGER=cgdb
+fi
+
+if [ "$1" = "--callgrind" ]
+then
+    shift
+    #PROFILER="/usr/local/bin/valgrind -v -v -d --tool=callgrind --instr-atstart=no"
+    PROFILER="/usr/local/bin/valgrind -v --smc-check=all-non-file --tool=callgrind --instr-atstart=no"
+    #PROFILER_OPTS=--callgrind
+fi
+
+if [ "$1" = "--help" ]
+then
+    "$DIR/../../projects/smalltalk/stx" -I  -f "$DIR/benchmark-runner.st" ${1+"$@"}
+    echo <<ENDHELP
+  --gdb ................... run benchmark under gdb debugger. Start with 
+                            (gdb) r -I -f "$DIR/benchmark-runner.st" -b ... 
+  --cgdb .................. run benchmark under cgdb debugger
+  --callgrind ............. run benchmark under callgrind profiler. 
+ENDHELP
+# .........................
+fi
+
+DIR=`dirname $0`
+if [ ! -z "$DEBUGGER" ]; then
+    exec $DEBUGGER $DIR/../../projects/smalltalk/stx 
+fi
+if [ ! -z "$PROFILER" ]; then
+    exec $PROFILER $DIR/../../projects/smalltalk/stx \
+        -I -f "$DIR/benchmark-runner.st" \
+        ${1+"$@"}    
+fi
+
+    
+exec "$DIR/../../projects/smalltalk/stx" \
+    -I  -f "$DIR/benchmark-runner.st" \
+    ${1+"$@"}