Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice.

[Gregory Heytings]

> > > That's what we (mistakenly) call "bootstrap".  If it doesn't clean 
> > > well enough, its clean stage should be improved.
> >
> > You mean, make bootstrap-clean identical to extraclean, except perhaps 
> > that it wouldn't remove config.cache?
>
> If extraclean does a good job, yes.  (I think someone said it didn't?)

It depends how you define "good".  What it does is, in a repository that 
was not modified otherwise, equivalent to "git clean -fdx".  Unlike "git 
clean -fdx" however, it does not remove files that were created by the 
user (e.g. .patch or .bak files).