1 files changed, 38 insertions, 0 deletions

diff --git a/tbrun.sh b/tbrun.sh
new file mode 100755
index 0000000..d933b6d
--- /dev/null
+++ b/tbrun.sh
@@ -0,0 +1,38 @@
+#!/bin/sh
+
+SCRIPT="$0"
+case "$SCRIPT" in
+        /*) ;;
+        *) SCRIPT="$(pwd)/$SCRIPT" ;;
+esac
+
+# resolve symlinks
+while [ -L "$SCRIPT" ]; do
+        LINK="$(readlink "$SCRIPT")"
+        case "$LINK" in
+                /*) SCRIPT="$LINK" ;;
+                *) SCRIPT="$(dirname "$SCRIPT")/$LINK" ;;
+        esac
+done
+
+SCRIPT_DIR="$(cd "$(dirname "$SCRIPT")" && pwd -P)"
+echo "$SCRIPT_DIR"
+
+MAP=""
+while [ $# -gt 0 ]; do
+        case "$1" in
+                --map)
+                        shift
+                        MAP="$1"
+                        ;;
+                --map=*)
+                        MAP="${1#--map=}"
+                        ;;
+                --) shift; break;;
+                *) ;;
+        esac
+        shift
+done
+
+cd "$SCRIPT_DIR"
+./bin/stalag --map "$MAP"