Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 10 Dec 2023 13:56:25 +0000
From:      void <void@f-m.fm>
To:        stable@freebsd.org
Subject:   Re: some dirs don't get deleted with make-delete-old
Message-ID:  <ZXXDic7_7XG-fo6L@int21h>
In-Reply-To: <87cyvgbqna.wl-herbert@gojira.at>
References:  <ZXMJMoK69PsdvpCS@int21h> <87cyvgbqna.wl-herbert@gojira.at>

next in thread | previous in thread | raw e-mail | index | archive | help
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).

-- 



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?ZXXDic7_7XG-fo6L>