|
| 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 12:33:54 +0000 |
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 :-).
Indeed. I tend to agree with Lars and Stefan K., but both viewpoints have their merits. So what about simply adding a "full-bootstrap" target?
| [Prev in Thread] | Current Thread | [Next in Thread] |