[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: timestamp bug when files are created just before make is run
From: |
Mikulas Patocka |
Subject: |
Re: timestamp bug when files are created just before make is run |
Date: |
Fri, 7 Dec 2012 03:16:31 +0100 (CET) |
User-agent: |
Alpine 2.00 (DEB 1167 2008-08-23) |
On Thu, 6 Dec 2012, Philip Guenther wrote:
> Note that this problem doesn't arise on systems with high precision
> file timestamps. Many systems have provided those since the mid 90's;
> I'm appalled that the modern system that process the involved shell
> commands fast enough for this to regularly be a problem don't provide
> microsecond or better timestamp precision.
BTW. on Linux, high precision timestamps have really kernel-tick
precision, not nanosecond precision.
So the first example that I posted doesn't always work correctly on Linux
with 100HZ tick - with sufficiently fast computer, touch "a" and the rule
to make "b" is executed in the same tick - so "a" isn't rebuilt.
Mikulas