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 fecd43ddefc8b7a2460bb2d595ad9fc868f28fda..d4bf03000c92d6ab01f39b0e4cd14a17643f091f 100755 (executable)
--- 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 $@