X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=run.sh;h=7ef8e9bcf00193c1e44c9243bec39cefd754d25b;hb=9e48f3b0ad6b84ad90d085a55611b60467ebe6dd;hp=9c7af2fb5f4e9bd1283d22975cf6b9c020ae8afe;hpb=8cc80ac1e6bcacda869efce26b2cc58c7b2a6685;p=c11tester.git

diff --git a/run.sh b/run.sh
index 9c7af2fb..7ef8e9bc 100755
--- a/run.sh
+++ b/run.sh
@@ -1,4 +1,13 @@
 #!/bin/sh
-
 export LD_LIBRARY_PATH=.
-./model
+
+if [ $# -gt 0 ]; then
+	if [ "$1" = "gdb" ]; then
+		gdb ./model
+	else
+		echo "Invalid argument(s)"
+		exit 1
+	fi
+else
+	./model
+fi