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

[Eli Zaretskii]

> From: address@hidden
> Date: Thu, 02 Dec 2010 10:13:31 +0800
> Cc: address@hidden
> 
> >>>>> "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...

What's wrong with using the special target .LOW_RESOLUTION_TIME?