Update of bug #29665 (project make):
Status: None => Not A Bug
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #2:
This is not a bug. If make were to reread the makefile marked as PHONY, then
it would go into an infinite loop (because after rereading the makefile make
would again try to build it, and see it's out of date due to PHONY, and
re-read it, then see that it's out of date and re-read it, etc.)
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?29665>
_______________________________________________
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
