Re: why does "make delete-old" not delete some directories?

From: tech-lists <tech-lists_at_zyxst.net>
Date: Fri, 08 Apr 2022 15:08:28 UTC
On Fri, Apr 08, 2022 at 01:22:55PM +0200, Herbert J. Skuhra wrote:

>I always run rm -rf /usr/lib/debug before "make delete-old(-libs)". :-)

Thanks for the tip. I'll do that in future.
-- 
J.