On Mon, Mar 18, 2024 at 03:27:48PM +0200, Eli Zaretskii wrote:

[...]
> "make bootstrap" won't help, because the cleaning must be done in the
> source tree, but the build should be done in the build tree.  I
> suggest "git clean -fdx" in the source tree instead (or even delete
> the clone and clone it anew).

Actually "git clean -fdx" is in my plans, yes. Thanks for the reminder.

Cheers
-- 
t