summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild2
-rw-r--r--gdb.pkg/files1
2 files changed, 3 insertions, 0 deletions
diff --git a/build b/build
index 53c2e5a..3e80050 100755
--- a/build
+++ b/build
@@ -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