|
| From: | Stefan Kangas |
| Subject: | Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice. |
| Date: | Mon, 19 Sep 2022 06:13:08 -0400 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |