[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: keep git master clean
|
From: |
Ralf Wildenhues |
|
Subject: |
Re: keep git master clean |
|
Date: |
Wed, 15 Dec 2010 19:09:46 +0100 |
|
User-agent: |
Mutt/1.5.20 (2010-08-04) |
delurking for a moment ...
* Carl Sorensen wrote on Wed, Dec 15, 2010 at 06:34:59PM CET:
> In order to be sure a one-line patch doesn't break the build, we need to to
> make doc-clean && make doc,
That simply means that there is a bug in the build system, in that it
doesn't track all dependencies. The right way forward is to fix the
build system, not punish (new nor old) contributors.
Cheers,
Ralf