Hi, On Mon, 5 Mar 2007, Karl Hasselström wrote: > On 2007-03-02 20:21:17 +0100, Johannes Schindelin wrote: > > > On Fri, 2 Mar 2007, Karl Hasselström wrote: > > > > > However, given that your file timestamps have been bumped (without > > > file content changes), > > > > There were changes. Only that they have been taken back, but that is > > _another_ change. > > Since the content is exactly the same as before, I'd be of the strong > opinion that nothing has changed as far as the make system should be > concerned. You are missing an important point here: there _was_ a change. Ciao, Dscho