On 2007-03-05 12:32:07 +0100, Johannes Schindelin wrote:
> On Mon, 5 Mar 2007, Karl Hasselström wrote:
>
> > 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.
But I don't want my make tool to care! I want it to rebuild if and
only if the file contents now are different from the file contents as
of the last rebuild.
Just like if I change a git-tracked file, then change it back, git
will _not_ claim that the file has changed; it will compute its sha1,
see that it is identical to what's in HEAD, and from there on consider
that file not changed even thogh its timestamp was changed.
--
Karl Hasselström, kha@xxxxxxxxxxx
www.treskal.com/kalle
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html