summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index de0243f..8f48c6b 100644
--- a/Makefile
+++ b/Makefile
@@ -34,6 +34,7 @@ example-test:
$(MAKE) -C $(EXAMPLES_DIR) test
lint:
+ check-manifest
pylint --rcfile=.pylintrc --report=no $(PACKAGE)/
coverage: