diff options
| -rwxr-xr-x | build | 2 | ||||
| -rw-r--r-- | gdb.pkg/files | 1 |
2 files changed, 3 insertions, 0 deletions
@@ -43,6 +43,8 @@ install: build # Make /etc/gdbinit. mkdir -p dest/etc/gdb printf '# System-wide GDB initialization file.\n' >dest/etc/gdb/gdbinit + # Install gcore. + cp src/gdb/gdb_gcore.sh dest/usr/bin/gcore # Make /usr/bin/gdbtui. printf '#!/bin/sh\n\nexec "$${0%%tui}" --tui "$${@}"\n' \ >dest/usr/bin/gdbtui diff --git a/gdb.pkg/files b/gdb.pkg/files index dba0c86..3224ee1 100644 --- a/gdb.pkg/files +++ b/gdb.pkg/files @@ -1,4 +1,5 @@ /etc/gdb/gdbinit +/usr/bin/gcore /usr/bin/gdb /usr/bin/gdbtui /usr/share/gdb/syscalls |