diff options
| author | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-10-21 10:09:48 +0000 |
|---|---|---|
| committer | Bryan Drewery <bdrewery@FreeBSD.org> | 2013-10-21 10:09:48 +0000 |
| commit | e45e2255e88f6ce44bae133e7e59910ac4e1177d (patch) | |
| tree | a37e8f76f5b25192346972622dd8fce68e0e32e5 | |
| parent | 8f011d4075f35c57e0a1ed206f8a7b2d64efa4c8 (diff) | |
| download | src-e45e2255e88f6ce44bae133e7e59910ac4e1177d.tar.gz src-e45e2255e88f6ce44bae133e7e59910ac4e1177d.zip | |
Notes
| -rw-r--r-- | Makefile.inc1 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Makefile.inc1 b/Makefile.inc1 index 712622ebc2b1..5e69ec55bf9b 100644 --- a/Makefile.inc1 +++ b/Makefile.inc1 @@ -1722,6 +1722,13 @@ delete-old-libs: chflags noschg "${DESTDIR}/$${file}" 2>/dev/null || true; \ rm ${RM_I} "${DESTDIR}/$${file}" <&3; \ fi; \ + for ext in debug symbols; do \ + if ! [ -e "${DESTDIR}/$${file}" ] && [ -f \ + "${DESTDIR}${DEBUGDIR}/$${file}.$${ext}" ]; then \ + rm ${RM_I} "${DESTDIR}${DEBUGDIR}/$${file}.$${ext}" \ + <&3; \ + fi; \ + done; \ done @echo ">>> Old libraries removed" @@ -1733,6 +1740,11 @@ check-old-libs: if [ -f "${DESTDIR}/$${file}" -o -L "${DESTDIR}/$${file}" ]; then \ echo "${DESTDIR}/$${file}"; \ fi; \ + for ext in debug symbols; do \ + if [ -f "${DESTDIR}${DEBUGDIR}/$${file}.$${ext}" ]; then \ + echo "${DESTDIR}${DEBUGDIR}/$${file}.$${ext}"; \ + fi; \ + done; \ done delete-old-dirs: |