aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 96a1c6d..c304c0c 100644
--- a/Makefile
+++ b/Makefile
@@ -57,9 +57,9 @@ check-format:
yapf -d $(PYTHONFILES)
check-mypy:
- mypy $(PYTHONFILES)
+ mypy --ignore-missing-imports $(PYTHONFILES)
tags:
ctags -R --exclude="build/*" --exclude="cache/*" --exclude="doc/*" --exclude="results/*"
-check: check-pylint check-format
+check: check-pylint check-format check-mypy