main/model: add future value expiration sloppiness parameter

[c11tester.git] / run.sh

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 $@