[Top][All Lists]

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

Re: Git master head build failure?

From: tomas
Subject: Re: Git master head build failure?
Date: Thu, 1 Apr 2021 11:17:59 +0200
User-agent: Mutt/1.5.21 (2010-09-15)

On Thu, Apr 01, 2021 at 07:57:58PM +1100, Tim Cross wrote:
> On Thu, 1 Apr 2021 at 18:33, Eli Zaretskii <eliz@gnu.org> wrote:
> > > From: Tim Cross <theophilusx@gmail.com>
> > > Date: Thu, 01 Apr 2021 14:10:50 +1100
> > > Cc: emacs-devel@gnu.org
> > >
> > > I wonder if it would be possible for make maintainer-clean to somehow
> > > look at what is in .gitignore and ensure anything in there is also
> > > removed? Would be good if at least that target returned the repo to an
> > > exact replica of what you would get if you did a fresh clone.

If you want /that/, then don't ask make -- ask git :-)

Look into `git clean'. Lots of options for cases where you want it actually
to remove files (-f) or just to tell you (-n), whether to remove only ignored
files (-X) or everything not known by the repo (-x) and so on. Decisions,
decisions :-)

I usually go with -fx. Teaches me hard lessons whenever my living room is
untidy :-D

I think one should strive to keep repo and build system as orthogonal as
possible (although they both fight hard against that ;-)

 - t

Attachment: signature.asc
Description: Digital signature

reply via email to

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