aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2020-07-12 00:59:21 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2020-07-12 01:20:44 +0200
commita2980bb14f909fbba31374bc203c4d530bf3fff0 (patch)
treec8817f1b0241514920dcb34afd940b64082fd5a8 /Makefile
parent5f60c2fd87fd4cf8aed7b98633ad946367f58b69 (diff)
downloadallocbench-a2980bb14f909fbba31374bc203c4d530bf3fff0.tar.gz
allocbench-a2980bb14f909fbba31374bc203c4d530bf3fff0.zip
[mypy] fix/ignore all remaining mypy errors
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