|
| From: | Lars Ingebrigtsen |
| Subject: | Re: A more radical cleanup for make bootstrap? |
| Date: | Mon, 19 Sep 2022 21:48:52 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Gregory Heytings <gregory@heytings.org> writes: > So what I'd suggest is to use extraclean in bootstrap, and add either > another target like "soft-bootstrap" or a configuration variable like > "SOFT=true" that would make a less radical cleanup than what > bootstrap-cleanup now does. > > Would that be a solution that is acceptable to everyone? Sounds good to me.
| [Prev in Thread] | Current Thread | [Next in Thread] |