diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-10-11 16:09:01 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-10-11 16:21:12 (EDT) |
| commit | 13d65995b3a17ba15ee95f7ecf4a510ea8f2bed6 (patch) | |
| tree | 9e1bfd6f21d225cbafc1ab87231fd653e5951cbd | |
| parent | 33299bd1addef86bae0dec1b76b07417a6a78e20 (diff) | |
gdb: Provide a gdbtui script.
| -rwxr-xr-x | build | 3 | ||||
| -rw-r--r-- | gdb.pkg/files | 1 |
2 files changed, 4 insertions, 0 deletions
@@ -43,6 +43,9 @@ install: build # Make /etc/gdbinit. mkdir -p dest/etc/gdb printf '# System-wide GDB initialization file.\n' >dest/etc/gdb/gdbinit + # Make /usr/bin/gdbtui. + printf '#!/bin/sh\n\nexec "$${0%%tui}" --tui "$${@}"\n' \ + >dest/usr/bin/gdbtui oh-fixperms oh-strip oh-installfiles diff --git a/gdb.pkg/files b/gdb.pkg/files index be3d0e2..dba0c86 100644 --- a/gdb.pkg/files +++ b/gdb.pkg/files @@ -1,3 +1,4 @@ /etc/gdb/gdbinit /usr/bin/gdb +/usr/bin/gdbtui /usr/share/gdb/syscalls |