From c77d1d922ed975933eab0b527c2c2e2951b64174 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 21 May 2012 10:32:05 -0700
Subject: [PATCH] run.sh: provide gdb option

---
 run.sh | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/run.sh b/run.sh
index 8eaeb3d..7ef8e9b 100755
--- a/run.sh
+++ b/run.sh
@@ -1,3 +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
-- 
2.34.1