|
| From: | Po Lu |
| Subject: | Re: A more radical cleanup for make bootstrap? |
| Date: | Tue, 20 Sep 2022 16:46:41 +0800 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux) |
Gregory Heytings <gregory@heytings.org> writes: > So what you'd need is another cleaning target, is that correct? Yes, and I think it makes slightly more sense to call it "bootstrap" than to call it something else.
| [Prev in Thread] | Current Thread | [Next in Thread] |