|
From: | Lars Ingebrigtsen |
Subject: | Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice. |
Date: | Mon, 19 Sep 2022 20:41:30 +0200 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |