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

[anonymous]

Follow-up Comment #1, bug #19448 (project make):

I'm going to disagree with the original submitter.  Make should be
conservative: if it's not certain that a file is up to date, it should be
rebuilt.

In particular, in the absence of other information, equal timestamps should
be considered NOT up to date.  It is better to waste a bit of CPU time than
to risk having an out-of-date file.
I'm pretty sure that was the behavior of the original Unix make, and for good
reason.


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?19448>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/