> From: jida...@jidanni.org > Date: Thu, 02 Dec 2010 10:13:31 +0800 > Cc: bug-make@gnu.org > > >>>>> "PS" == Paul Smith <psm...@gnu.org> 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? _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make
