From 2fd4b4a8fd661b3508f80b96f017dbf3d1925a76 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Fri, 05 Jul 2019 02:52:27 -0400 Subject: build: Remove provided Python gdbinit files --- 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 -- cgit v0.9.1