Clean up and exit on SIGINT.
authorTom Clegg <tom@curoverse.com>
Sun, 8 Feb 2015 23:59:26 +0000 (18:59 -0500)
committerTom Clegg <tom@curoverse.com>
Thu, 12 Feb 2015 18:33:33 +0000 (13:33 -0500)
commit03d58fa94878d11cac6d25cdb67180060d1e2fe5
treed3c7dc435232587250b555f2ebb47bac649c035d
parent2d03ecf4a147db64708991bd3bf2f1d9fc9b358e
Clean up and exit on SIGINT.
jenkins/run-tests.sh