[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A more radical cleanup for make bootstrap?
|
From: |
Eli Zaretskii |
|
Subject: |
Re: A more radical cleanup for make bootstrap? |
|
Date: |
Tue, 20 Sep 2022 05:29:57 +0300 |
> Date: Mon, 19 Sep 2022 19:46:55 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: Po Lu <luangruo@yahoo.com>, Stefan Monnier <monnier@iro.umontreal.ca>,
> Stefan Kangas <stefan@marxist.se>, emacs-devel@gnu.org
>
> 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.
What would be the purpose of this "soft-bootstrap"?
Re: A more radical cleanup for make bootstrap?, Gregory Heytings, 2022/09/19
Re: A more radical cleanup for make bootstrap?, Stefan Monnier, 2022/09/19
Re: A more radical cleanup for make bootstrap?,
Eli Zaretskii <=
Re: A more radical cleanup for make bootstrap?, Eli Zaretskii, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Po Lu, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Eli Zaretskii, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Po Lu, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Eli Zaretskii, 2022/09/20