run.sh: provide gdb option

[c11tester.git] / run.sh

diff --git a/run.sh b/run.sh
index 9fc6f8925aa867d51afa2d602185b0f3975e9352..7ef8e9bcf00193c1e44c9243bec39cefd754d25b 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,3 +1,13 @@
 #!/bin/sh
 export LD_LIBRARY_PATH=.
-gdb ./model
+
+if [ $# -gt 0 ]; then
+       if [ "$1" = "gdb" ]; then
+               gdb ./model
+       else
+               echo "Invalid argument(s)"
+               exit 1
+       fi
+else
+       ./model
+fi