From abcd7af73c22ea2e375bd14cd0cd101c7ece1bbc Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Wed, 8 Aug 2012 12:41:02 -0700
Subject: [PATCH] run.sh: pass command-line arguments through to test program

Once the model-checker begins handling arguments, we should pass through
arguments to the program.
---
 run.sh | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/run.sh b/run.sh
index fecd43d..d4bf030 100755
--- a/run.sh
+++ b/run.sh
@@ -16,13 +16,9 @@ export LD_LIBRARY_PATH=.
 
 [ $# -gt 0 ] && [ "$1" != "gdb" ] && BIN=$1 && shift
 
-if [ $# -gt 0 ]; then
-	if [ "$1" = "gdb" ]; then
-		gdb $BIN
-	else
-		echo "Invalid argument(s)"
-		exit 1
-	fi
-else
-	$BIN
+if [ $# -gt 0 ] && [ "$1" = "gdb" ]; then
+	shift
+	gdb $BIN $@
 fi
+
+$BIN $@
-- 
2.34.1