On Sat, 21 Jan 2017, Matthew Knepley wrote: > Do we indicate somewhere that they should be deleted?
They get autodeleted after the runtargets are run.. [Pehraps we should switch the default to not autoremove - and use an extra option to do this autodelete?] Also - I see the binaries are autodeleted - but not .o files. [but they don't take much space as compared to other stuff we now keep - like the .o files for the sourcefiles] Satish
