Re: Bug#605639: deal better with different filesystem timestamp resolutions

[jidanni]

>>>>> "PS" == Paul Smith <address@hidden> writes:

PS> Make already uses high-resolution timestamps for comparison
PS> automatically on filesystems that support it, if that's what you
PS> mean.

That's the problem, when two different resolution filesystems are
involved, make will always see these,
$ ls -l /tmp/zaokeng.kmz ../../jidanni.org/location/zaokeng.kmz --full-time
-rw-r--r-- 1 jidanni jidanni 3463 2010-12-02 07:05:06.000000000 +0800 
../../jidanni.org/location/zaokeng.kmz
-rw-r--r-- 1 jidanni jidanni 3463 2010-12-02 07:05:06.298528658 +0800 
/tmp/zaokeng.kmz
as different times, when in fact they are the same...

But of course sometimes for some people they aren't the same too I suppose...