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:30:15 +0800

P.S., regarding the documentation of `.LOW_RESOLUTION_TIME'
Here with GNU Make 3.81, I think you should not blame the cp command,
but instead say "when using a mixture of filesystem types, or in some
other situations, one might want to specify some files were made with
low resolution timestamps..."

Indeed, for my situation all the files were low resolution (ext3),
except this one on /tmp, where a .HIGH_RESOLUTION_TIME might have come
in handy.



reply via email to

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