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

[Lars Ingebrigtsen]

Gregory Heytings <gregory@heytings.org> writes:

> WDYT of simply adding another "full-bootstrap" target, with the
> meaning "from the lowest possible ground"?

If other people are so married to the "bootstrap" name that they refuse
to consider renaming it, I don't think it's worth spending more time
arguing about.  So, sure.