Delete temporary files on exit#2980

Merged

ffissore merged 3 commits intoarduino:masterfrom

ffissore:delete_on_exit

Apr 15, 2015

Commits on Apr 15, 2015

File.deleteOnExit is not recursive. Replaced by DeleteFilesOnShutdown shutdown hook. Fixes #2971
Federico Fissore
committed
Added --preserve-temp-files command line option
Federico Fissore
committed
Tests weren't deleting temporary files: fixed
Federico Fissore
committed