rzezeski / libMicro

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Exit after interrupt

rzezeski opened this issue · comments

If the bench script is interrupted then remove temp files and exit. Otherwise the script continues to run benchmarks after the temp files are removed and all the tests fail, a very confusing user experience.