bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: jidanni
Subject: Re: Bug#605639: deal better with different filesystem timestamp resolutions
Date: Thu, 02 Dec 2010 12:19:43 +0800

>>>>> "EZ" == Eli Zaretskii <address@hidden> writes:

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

One cannot find it with searches for "seconds" "comparison" etc.

OK, thanks! Please add a cross reference to it on many of the places where
(Info-search "modification") is mentioned. Thanks.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]