[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 15:55:17 +0300 |
> From: Po Lu <luangruo@yahoo.com>
> Cc: gregory@heytings.org, larsi@gnus.org, monnier@iro.umontreal.ca,
> stefan@marxist.se, emacs-devel@gnu.org
> Date: Tue, 20 Sep 2022 20:51:20 +0800
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > I usually have no problems identifying the offending *.elc files.
>
> Same, but when the error is a macroexpansion error in Tramp (or
> something related to loaddefs.el), I almost universally fail.
>
> > And if that fails (which it does very rarely), then this never fails:
> >
> > $ find ./lisp -name "*.elc" -delete
> > $ make
>
> Right, why don't we make "make bootstrap" do that instead?
Because some (much rarer) changes need other generated files to be
removed as well. So bootstrap-clean does the above, but it also does
other things, including forcing the rebuild of temacs, which is almost
never needed. OTOH, if someone wants to test a fresh build, or build
a different configuration, or some other relatively rare jobs, they do
need to remove all those other artifacts.
- Re: A more radical cleanup for make bootstrap?, (continued)
- 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
- Re: A more radical cleanup for make bootstrap?,
Eli Zaretskii <=
- 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
- Re: A more radical cleanup for make bootstrap?, Po Lu, 2022/09/20
- Re: A more radical cleanup for make bootstrap?, Robert Pluim, 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 Welsh Duggan, 2022/09/20