diff options
author | antoine <antoine@FreeBSD.org> | 2010-01-30 19:33:45 +0000 |
---|---|---|
committer | antoine <antoine@FreeBSD.org> | 2010-01-30 19:33:45 +0000 |
commit | 920ff87426e597723f9eafbec49b80edc423db3a (patch) | |
tree | 0132e79aa1fbbe73beaebd0ac36a607845aae626 | |
parent | 8a4538421fcfdbcef0dd15a467c5f7f7964ca773 (diff) | |
download | FreeBSD-src-920ff87426e597723f9eafbec49b80edc423db3a.zip FreeBSD-src-920ff87426e597723f9eafbec49b80edc423db3a.tar.gz |
Add files to remove when MK_GDB=no.
-rw-r--r-- | tools/build/mk/OptionalObsoleteFiles.inc | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/tools/build/mk/OptionalObsoleteFiles.inc b/tools/build/mk/OptionalObsoleteFiles.inc index 5d2e452..870e12e 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 |