[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: extraclean and admin/grammars [was Re: Git master head build failure

From: Tim Cross
Subject: Re: extraclean and admin/grammars [was Re: Git master head build failure?]
Date: Sun, 4 Apr 2021 09:52:31 +1000

On Sun, 4 Apr 2021 at 01:15, Eli Zaretskii <eliz@gnu.org> wrote:

"make extraclean" is only needed when doing something very drastic,
like switching to a very different branch.  That is an extremely rare
(if not improbable) use case, so IMO having everyone pay for it is

I'm not sure that assumption is correct. You can run into this issue just changing commits, not switching branches if that commit is old enough. For example, checking out the emacs-27 tag. I'm also not convinced moving between the last released version and the current development version and back again is that unusual and the longer things go between the last release and current development head, the larger the difference in commits and greater the potential for this sort of issue. 



Tim Cross

reply via email to

[Prev in Thread] Current Thread [Next in Thread]