summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPatrick McDermott <patrick.mcdermott@libiquity.com>2019-07-05 02:52:27 (EDT)
committer Patrick McDermott <patrick.mcdermott@libiquity.com>2019-07-05 02:52:27 (EDT)
commit2fd4b4a8fd661b3508f80b96f017dbf3d1925a76 (patch)
treefd1d3736906e509964318410fbb5f287c57eb323
parentb7395349fd82c290defae3c6e4a1789c4ae341d6 (diff)
build: Remove provided Python gdbinit files
-rwxr-xr-xbuild2
1 files changed, 2 insertions, 0 deletions
diff --git a/build b/build
index 9630f07..fa3e32f 100755
--- a/build
+++ b/build
@@ -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