[bug #30463] cannot make include makefile .INTERMEDIATE

[Paul D. Smith]

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/