[bug #19448] Re-exec after "include file rebuild" is more dependent on filesystem timestamps than strictly necessary.

[anonymous]

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/