[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #37708] File rules compare wrong own timestamps
From: |
Paul D. Smith |
Subject: |
[bug #37708] File rules compare wrong own timestamps |
Date: |
Sun, 13 Jan 2013 20:19:32 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.17 (KHTML, like Gecko) Chrome/24.0.1312.52 Safari/537.17 |
Update of bug #37708 (project make):
Status: None => Not A Bug
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #1:
This is not technically a bug... or if it is it's a duplicate of the directory
cache issue. Your makefile is not being honest with make: as far as your
makefile is concerned, there is no way for the file "depended_real_file" to
ever be updated. Thus, make does some shortcuts to improve performance.
However, because your makefile really does change the time of
"depended_real_file" behind make's back (as a hidden side-effect of updating
"depended_remake_always"), things don't work well.
I suspect that what you want to do could be more straightforwardly done but
there's not enough detail here to know for sure; if you want help please email
address@hidden rather than using the bug tracker.
If you change your makefile such that you give commands to the
"depended_real_file" target, even if they're empty, then make will re-check
the timestamp because it thinks maybe something changed; then your makefile
will work (always rebuilds main):
depended_real_file: depended_remake_always ; @:
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?37708>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug #37708] File rules compare wrong own timestamps,
Paul D. Smith <=