Re: A more radical cleanup for make bootstrap?

[Lars Ingebrigtsen]

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.