Follow-up Comment #7, bug #14927 (project make):
I was actually thinking about Reid's original request. I have no problem with
using some external tool such as a pseudo filesystem, but that's outside the
purview of GNU Make.
These days it seems to me that intermediate files are less and less useful:
the cost of disk space is a tiny fraction of what it once was and it makes me
wonder how important it really is to delete intermediate files. But probably
there are still situations where it's helpful.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?14927>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
