aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorFlorian Fischer <florian.fl.fischer@fau.de>2020-07-11 16:59:33 +0200
committerFlorian Fischer <florian.fl.fischer@fau.de>2020-07-11 16:59:33 +0200
commit49fbbb730a47b5f97f9e956d9b7c6cf8616812a5 (patch)
treedcb9a7eecc1674197d7ba237c428c91f8dfac24d /Makefile
parent503966ab0c9357a029d384600afa06239490d9c1 (diff)
downloadallocbench-49fbbb730a47b5f97f9e956d9b7c6cf8616812a5.tar.gz
allocbench-49fbbb730a47b5f97f9e956d9b7c6cf8616812a5.zip
[make] add check-mypy target and add mypy as dev dependency
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 51e6153..96a1c6d 100644
--- a/Makefile
+++ b/Makefile
@@ -56,6 +56,9 @@ format:
check-format:
yapf -d $(PYTHONFILES)
+check-mypy:
+ mypy $(PYTHONFILES)
+
tags:
ctags -R --exclude="build/*" --exclude="cache/*" --exclude="doc/*" --exclude="results/*"