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/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
