[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 14:22:45 +0300 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, larsi@gnus.org,
> monnier@iro.umontreal.ca, stefan@marxist.se, emacs-devel@gnu.org
> Date: Tue, 20 Sep 2022 16:20:06 +0800
>
> Gregory Heytings <gregory@heytings.org> writes:
>
> > I don't know exactly. Stefan M and Po Lu both asked for a "less
> > radical" bootstrap, which is what that "soft-bootstrap" would have
> > done. But now Stefan said it's not that important to him. So I guess
> > there's no need for a "soft-bootstrap" anymore, unless someone tells
> > otherwise.
>
> What about me?
>
> It generally takes 10-15 minutes for me to build Emacs in ideal
> conditions from "make bootstrap", with much of that time taken up by
> building temacs. It takes longer when I am actually working on Emacs,
> because that typically happens while my machine is already under load.
Why do you bootstrap?
I almost never do that.
- Re: A more radical cleanup for make bootstrap?, (continued)
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
Re: A more radical cleanup for make bootstrap?,
Eli Zaretskii <=
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
Re: A more radical cleanup for make bootstrap?, Lars Ingebrigtsen, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Po Lu, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Lars Ingebrigtsen, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Eli Zaretskii, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Eli Zaretskii, 2022/09/20
Re: A more radical cleanup for make bootstrap?, Michael Albinus, 2022/09/20