diff options
| author | Igor Pashev <pashev.igor@gmail.com> | 2019-12-09 11:34:23 +0300 |
|---|---|---|
| committer | Igor Pashev <pashev.igor@gmail.com> | 2019-12-09 11:34:23 +0300 |
| commit | ee8536fb62c8a81ea727b475a6793417d00b40b0 (patch) | |
| tree | ad9cdd7d46c7f4c47202ea7fcb463257e4228728 /debian/gdbtui | |
| download | gdb-debian.tar.gz | |
Import gdb 8.3.1-1debian/8.3.1-1debian
Diffstat (limited to 'debian/gdbtui')
| -rwxr-xr-x | debian/gdbtui | 10 |
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 "$@" |