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