summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPatrick 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)
commit2dc1c67747f1e24d18a0592e638de2af8162def0 (patch)
tree1e9216094855720f73bc581f7c0c3c505b435343
parent502791c6645e60f6fd0a6002505827bc644b7003 (diff)
build: Remove manual gcore installation
Upstream now does this.
-rwxr-xr-xbuild2
1 files changed, 0 insertions, 2 deletions
diff --git a/build b/build
index 6d30142..27d8a20 100755
--- a/build
+++ b/build
@@ -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