run.sh: provide gdb option

diff --git a/run.sh b/run.sh
index 8eaeb3d48e5a974cd778229623fb9eff2fd8c3ed..7ef8e9bcf00193c1e44c9243bec39cefd754d25b 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,3 +1,13 @@
 #!/bin/sh
 export LD_LIBRARY_PATH=.
 #!/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