Subject: Re: timestamp bug when files are created just before make is run

From: Andreas Schwab <[email-masked]>
Date: Mon, 10 Dec 2012 10:45:45 +0100

Mikulas Patocka <[email-masked]> writes:

> BTW. on Linux, high precision timestamps have really kernel-tick 
> precision, not nanosecond precision.

The precision is as high as what the best hardware timer provides,
independent of the configured value of HZ.

Andreas.

-- 
Andreas Schwab, SUSE Labs, [email-masked]
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."