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