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

[Stefan Monnier]

Stefan Kangas [2022-09-19 06:13:08] wrote:
> Lars Ingebrigtsen <larsi@gnus.org> writes:
>> (In my opinion, this is what "make bootstrap" should be doing, and if we
>> should move the current "bootstrap" to a new target like
>> "bootstrap-partial" or something.)
>
> +1

-1

I think we should move `make bootstrap` towards a *more*
partial bootstrap.

Those who want `make extraclean; make` know where to get it (and if you
want to give it a separate name, than name it `make
recompile-from-scratch` or something :-).

`make bootstrap` should focus on fixing the bootstrap issues that can be
present in ELisp files.  It's there so as to avoid the need for
a complete recompile-from-scratch for those of us who don't have
machines which can recompile the world under 2min.


        Stefan