1 files changed, 13 insertions, 0 deletions

diff --git a/rungdb b/rungdb
new file mode 100755
index 0000000..c23e783
--- /dev/null
+++ b/rungdb
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+export OSLAB_PATH=$(dirname `which $0`)
+
+if [ ! -e "$OSLAB_PATH/hdc/umounted" ]; then
+        echo umount hdc first
+        sudo umount $OSLAB_PATH/hdc
+        if [ "$?" != "0" ]; then
+                exit
+        fi
+fi
+
+gdb -x $OSLAB_PATH/gdb-cmd.txt $OSLAB_PATH/src/tools/system