Re: some dirs don't get deleted with make-delete-old

On Fri, Dec 08, 2023 at 05:33:29PM +0100, Herbert J. Skuhra wrote:

>Do you use WITHOUT_DEBUG_FILES= in /etc/src.conf?

Bingo!

% ug DEBUG /etc/src.conf
   9: WITHOUT_ASSERT_DEBUG=
   17: WITHOUT_DEBUG_FILES=

so it's unable to be deleted because it's not there ;) 
(I guess? though i'd have expected a not-found or similar)

>I think the problem is:
>
>1. etc/mtree/BSD.debug.dist
>The Makefile contains the following note: "# NOTE: BSD.debug.dist is
>unconditionally installed for developer ease-of-use."
>
>2. make delete-old does not empty and delete
>/usr/lib/debug/boot/kernel and /usr/lib/debug/boot/modules. Both
>directories are excluded in tools/build/mk/OptionalObsoleteFiles.inc
>(lines 1336-1350). This code was commited in August 2017 by emaste
>(commit 63cd05d97a6d280e280538229040537d5ac75788).

I guess from this it's just noise and can be safely ignored?
The system runs fine as expected; no otherwise surprises (yet).

--