diff options
-rwxr-xr-x | build | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -37,6 +37,8 @@ install: build # Make /etc/gdbinit. mkdir -p dest/etc/gdb printf '# System-wide GDB initialization file.\n' >dest/etc/gdb/gdbinit + # Remove provided Python gdbinit files. + rm -v dest/usr/share/gdb/system-gdbinit/*.py # Make /usr/bin/gdbtui. printf '#!/bin/sh\n\nexec "$${0%%tui}" --tui "$${@}"\n' \ >dest/usr/bin/gdbtui |