diff options
author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-07-04 05:15:26 (EDT) |
---|---|---|
committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-07-04 05:15:26 (EDT) |
commit | 2dc1c67747f1e24d18a0592e638de2af8162def0 (patch) | |
tree | 1e9216094855720f73bc581f7c0c3c505b435343 | |
parent | 502791c6645e60f6fd0a6002505827bc644b7003 (diff) |
build: Remove manual gcore installation
Upstream now does this.
-rwxr-xr-x | build | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -36,8 +36,6 @@ 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 |