summaryrefslogtreecommitdiff
path: root/check
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2012-08-11 12:06:46 +0100
committerLars Wirzenius <liw@liw.fi>2012-08-11 12:06:46 +0100
commit9ab26c8577cc723fb947f6fa70a2a4bffdb81c7a (patch)
tree05e3aabdd892594d96fd97496c632bc30ee4a3ef /check
parente7f7a07babec0721be89b28fec1b683c91bf2ed2 (diff)
downloadjenkinstool-9ab26c8577cc723fb947f6fa70a2a4bffdb81c7a.tar.gz
Fix ./check to clean up .coverage
Diffstat (limited to 'check')
-rwxr-xr-xcheck2
1 files changed, 2 insertions, 0 deletions
diff --git a/check b/check
index dcf00ae..a769679 100755
--- a/check
+++ b/check
@@ -16,4 +16,6 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>.
+set -eu
python -m CoverageTestRunner --ignore-missing-from=without-tests
+rm .coverage