[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #30463] cannot make include makefile .INTERMEDIATE

From: Paul D. Smith
Subject: [bug #30463] cannot make include makefile .INTERMEDIATE
Date: Sat, 17 Jul 2010 15:07:33 +0000
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20100628 Ubuntu/10.04 (lucid) Firefox/3.6.6

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:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]