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/