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 regul
On Thu, 6 Dec 2012, Philip Guenther wrote:
> On Thu, Dec 6, 2012 at 2:02 PM, Mikulas Patocka
> wrote:
> > The apparent problem is that after make rebuilds b, it compares b's time
> > with a's time, finds that the times are equal (because a was touched just
> >
Hi
Try this Makefile:
---
a : b
echo build a
touch a
b : c
echo build b
touch b
---
and run this script:
touch b;sleep 1;touch a c;make
You see
"echo build b
build b
touch b"
but it doesn't remake a.
The apparent problem is that after make rebuilds b, it compares
