From: Brian Norris <banorris@uci.edu>
Date: Wed, 8 Aug 2012 19:41:02 +0000 (-0700)
Subject: run.sh: pass command-line arguments through to test program
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=abcd7af73c22ea2e375bd14cd0cd101c7ece1bbc

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.
---

diff --git a/run.sh b/run.sh
index fecd43dd..d4bf0300 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 $@