From 2ea25692d0755558be43b3be5c5be402f91a76a2 Mon Sep 17 00:00:00 2001 From: Antoine Brodin Date: Sat, 30 Jan 2010 19:33:45 +0000 Subject: [PATCH] Add files to remove when MK_GDB=no. --- tools/build/mk/OptionalObsoleteFiles.inc | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/tools/build/mk/OptionalObsoleteFiles.inc b/tools/build/mk/OptionalObsoleteFiles.inc index 5d2e452f7a8e..870e12ef784a 100644 --- a/tools/build/mk/OptionalObsoleteFiles.inc +++ b/tools/build/mk/OptionalObsoleteFiles.inc @@ -763,9 +763,18 @@ OLD_FILES+=usr/bin/gcov OLD_FILES+=usr/share/man/man1/gcov.1.gz .endif -#.if ${MK_GDB} == no -# to be filled in -#.endif +.if ${MK_GDB} == no +OLD_FILES+=usr/bin/gdb +OLD_FILES+=usr/bin/gdbserver +OLD_FILES+=usr/bin/gdbtui +OLD_FILES+=usr/bin/kgdb +OLD_FILES+=usr/share/info/gdb.info.gz +OLD_FILES+=usr/share/info/gdbint.info.gz +OLD_FILES+=usr/share/info/stabs.info.gz +OLD_FILES+=usr/share/man/man1/gdb.1.gz +OLD_FILES+=usr/share/man/man1/gdbserver.1.gz +OLD_FILES+=usr/share/man/man1/kgdb.1.gz +.endif .if ${MK_GNU_CPIO} == no OLD_FILES+=usr/bin/gcpio