[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A more radical cleanup for make bootstrap?
From: |
Alan Mackenzie |
Subject: |
Re: A more radical cleanup for make bootstrap? |
Date: |
Mon, 19 Sep 2022 21:01:38 +0000 |
Hello, Lars.
On Mon, Sep 19, 2022 at 22:51:36 +0200, Lars Ingebrigtsen wrote:
> 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.
Oh, good!
--
Alan Mackenzie (Nuremberg, Germany).
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