Follow-up Comment #2, bug #19448 (project make):
I will disagree with the original poster. Make's job is to be conservative:
after typing "make", you should be able to count on it that everything is up
to date. If that invokes a bit of extra work, the lost CPU time is far
better than risking something not being updated.
For that reason, the original Unix make considered equal timestamps to be
"out of date" unless it had other information to the contrary. So if foo
depends on bar and I type "make foo; touch bar; make foo", foo should be made
the second time REGARDLESS of issues of timestamp resolution and clock races.
The current behavior (which seems to be the result of a recent change) is
incorrect.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?19448>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
