Hi:
> > 3. What is the workaround ("make" like programs should see
> > the same problem?)?
> I wouldn't think they should see the same problem, should they?
Yes they should and it goes thusly:
Make thingies use filetimes for deciding whether something needs to be
recompiled. So with a 2 second resolution files may seem saved at
the same time while in fact they have been saved at different times. I
should think that this doesn't make a large difference though.
The (to me) obvious fix would be to set the make-resolution (granularity
of time that is) to 2 secs !?
Karsten
