[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:35:36 +0300 |
> Date: Mon, 19 Sep 2022 20:49:23 +0000
> Cc: Gregory Heytings <gregory@heytings.org>, Po Lu <luangruo@yahoo.com>,
> Stefan Monnier <monnier@iro.umontreal.ca>,
> Stefan Kangas <stefan@marxist.se>, emacs-devel@gnu.org
> From: Alan Mackenzie <acm@muc.de>
>
> If the choice is between failing to delete some generated files, and
> deleting unrecoverable files, I'd take the first choice.
What are "unrecoverable files" in this context, please? Can you give
a couple of examples of such files?
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, 2022/09/19