Update of bug #30463 (project make):
Status: None => Not A Bug
Open/Closed: Open => Closed
_______________________________________________________
Follow-up Comment #2:
I suppose it might be nice for make to be able to determine the infinite loop
and avoid it, but as for the underlying behavior, this is exactly as make
should behave. That's what INTERMEDIATE means: the value is deleted. Make
re-execs itself when a new makefile is changed, which means the only
opportunity it has to clean up intermediate files is right before it re-execs
(because after it re-execs, the next time make runs the file is not considered
intermediate anymore (only files this instance of make creates are considered
intermediate--so the after-exec instance of make will not delete it since it
already existed)).
There's really no good way to delete a makefile after you're done other than,
as Olexiy points out, some kind of recursion.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?30463>
_______________________________________________
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
