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).
>
> "Good job" for this purpose means anything that could interfere with a 
> clean build.

In that case it does a good job: the "cleanest" clean target is 
extraclean, and bootstrap-clean sometimes does not clean enough.