|
| From: | Lars Ingebrigtsen |
| Subject: | Re: A more radical cleanup for make bootstrap? |
| Date: | Mon, 19 Sep 2022 22:51:36 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Alan Mackenzie <acm@muc.de> writes: > Is that the choice we're talking about, or are we talking about > deleting all generated files and no others? The latter.
| [Prev in Thread] | Current Thread | [Next in Thread] |