Re: A more radical cleanup for make bootstrap?

[Alan Mackenzie]

Hello, Lars.

On Mon, Sep 19, 2022 at 22:29:09 +0200, Lars Ingebrigtsen wrote:
> Alan Mackenzie <acm@muc.de> writes:

> > The prime quality of the current bootstrap is that it doesn't delete
> > anything unrecoverable - it only deletes generated files.

> But it does not delete all generated files, which is the problem.  Try a
> "make bootstrap-clean" then "git clean -n -dfx" (note -- -n for dry run)
> to see the ones left behind.

If the choice is between failing to delete some generated files, and
deleting unrecoverable files, I'd take the first choice.

Is that the choice we're talking about, or are we talking about
deleting all generated files and no others?

-- 
Alan Mackenzie (Nuremberg, Germany).