summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2011-07-22 10:15:15 +0100
committerLars Wirzenius <liw@liw.fi>2011-07-22 10:15:15 +0100
commit86933abb6bdf24918407934c76b30a2c97b67951 (patch)
tree1c38794d2905ce26ead8fe4bc893c4300191e502 /Makefile
parentf8dc1c89fba05ee489abf3013dc4861f19d67b1c (diff)
downloadlarch-86933abb6bdf24918407934c76b30a2c97b67951.tar.gz
Don't build docs when running checks.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index dbab72c..3baff58 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@
all:
$(MAKE) -C doc html
-check: all
+check:
python -m CoverageTestRunner --ignore-missing-from=without-tests
rm .coverage
./insert-remove-test tempdir 100