|
| From: | Gregory Heytings |
| Subject: | Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice. |
| Date: | Mon, 19 Sep 2022 14:54:53 +0000 |
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?
| [Prev in Thread] | Current Thread | [Next in Thread] |