summaryrefslogtreecommitdiff
path: root/debian/gdbtui
diff options
context:
space:
mode:
Diffstat (limited to 'debian/gdbtui')
-rwxr-xr-xdebian/gdbtui10
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/gdbtui b/debian/gdbtui
new file mode 100755
index 0000000..ec42c0a
--- /dev/null
+++ b/debian/gdbtui
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+prog=$(basename $0 tui)
+
+dir=$(dirname $0)
+if [ "$dir" != "." ]; then
+ prog=$dir/$prog
+fi
+
+exec $prog --tui "$@"