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 _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
