summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLars Wirzenius <liw@iki.fi>2007-07-09 17:33:04 +0300
committerLars Wirzenius <liw@iki.fi>2007-07-09 17:33:04 +0300
commitb284014a4ff30b3a3399cc4bd8bc176f9e1746e2 (patch)
tree17ec12832621e804ca5cb3aefa68cbb0a18ae44d /Makefile
parent10dff9752f21826408f97aae504ed0af73e1ed7f (diff)
downloadgenbackupdata-b284014a4ff30b3a3399cc4bd8bc176f9e1746e2.tar.gz
Make 'make check' fail if coverage is not complete according to python-coverage.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4c87b78..cbfbc2c 100644
--- a/Makefile
+++ b/Makefile
@@ -3,4 +3,5 @@ all:
check:
python-coverage -e
python-coverage -x tests.py
- python-coverage -r -m -o /usr,/var
+ python-coverage -r -m -o /usr,/var | \
+ awk '{ print } /^TOTAL/ && $$2 != $$3 {exit 1}'