Re: git and mtime

From: Matthieu Moy <matthieu.moy@imag.fr>
Date: Nov 20, 2008, 10:53 UTC
Message-ID: <vpqwseypt1n.fsf@bauges.imag.fr>
In-Reply-To: <alpine.DEB.1.00.0811201132220.30769@pacific.mpi-cbg.de>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

Show 12 quoted lines

> Hi,
>
> On Wed, 19 Nov 2008, Matthieu Moy wrote:
>
>> Arafangion <thestar@fussycoder.id.au> writes:
>> 
>> > You should probably fix your build script,
>> 
>> ccache should help:
>
> Only if you _allow_ the problem that makes ccache necessary.  Which we 
> don't.

You do, for some definition of "problem".

make git checkout whatever make git checkout where-you-were-before make # <--- this one

The last make is correct with plain git and plain make, but it can be slow. With a cache in your build system, it can just reuse the objects created during the first "make". It doesn't change correctness, only performance.

-- 
Matthieu