run.sh: provide gdb option

[c11tester.git] / run.sh

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