[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A more radical cleanup for make bootstrap?
From: |
Stefan Monnier |
Subject: |
Re: A more radical cleanup for make bootstrap? |
Date: |
Mon, 19 Sep 2022 16:53:06 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
> Would that be a solution that is acceptable to everyone?
To be honest, I can live with a "bootstrap" that does a thorough
build from scratch (and cook up my own "minimal bootstrap").
I think it's technically incorrect to call it "bootstrap", but it's not
like it matters.
I was just assuming there are other people in my situation, but I don't
know it to be the case.
Stefan
Re: A more radical cleanup for make bootstrap?, Gregory Heytings, 2022/09/19
Re: A more radical cleanup for make bootstrap?,
Stefan Monnier <=
Re: A more radical cleanup for make bootstrap?, Eli Zaretskii, 2022/09/19
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