[Top][All Lists]

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

Re: [Groff] [patch] unbreak make install

From: Ralph Corderoy
Subject: Re: [Groff] [patch] unbreak make install
Date: Sun, 22 Jun 2014 16:19:59 +0100

Hi Igno,

> If "make dist" isn't run before commit (or the result ignored, or run
> in a way that is ineffective for finding problems), what makes you
> think that "make distcheck" would be used well if it existed?

Well, quite right.  Hopefully, the few committers will learn to adopt
that habit, perhaps through their own commit script which does a bunch
of checks before the actual commit, e.g. not adding end-of-line spaces.

Cheers, Ralph.

reply via email to

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