[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #19448] Re-exec after "include file rebuild" is more dependent on f
From: |
anonymous |
Subject: |
[bug #19448] Re-exec after "include file rebuild" is more dependent on filesystem timestamps than strictly necessary. |
Date: |
Fri, 27 Apr 2007 22:56:57 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3 |
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/