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

[Eli Zaretskii]

> Date: Mon, 19 Sep 2022 14:54:53 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: Po Lu <luangruo@yahoo.com>, larsi@gnus.org, monnier@iro.umontreal.ca, 
>     stefan@marxist.se, emacs-devel@gnu.org
> 
> > 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?)