diff options
| author | Florian Fischer <florian.fischer@muhq.space> | 2021-10-07 14:40:57 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fischer@muhq.space> | 2021-10-07 14:40:57 +0200 |
| commit | a7ca89b18e861ed9a6e5f2a1af61aeb2742fd0a5 (patch) | |
| tree | 01b0c250fa4864e59823b87d708375bd00a79dc1 /scripts | |
| parent | 67976bc7f5e7768f5ab7b92a1f5b648eaf03e111 (diff) | |
| download | muhqs-game-a7ca89b18e861ed9a6e5f2a1af61aeb2742fd0a5.tar.gz muhqs-game-a7ca89b18e861ed9a6e5f2a1af61aeb2742fd0a5.zip | |
[scripts/Makefile] improve check-pylint and add check-mypy
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index d866ac4e..9875e834 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -2,7 +2,7 @@ PYTHONFILES := $(wildcard *.py) -check: check-pylint check-format +check: check-pylint check-format check-mypy format: yapf -i $(PYTHONFILES) @@ -11,4 +11,7 @@ check-format: yapf -d $(PYTHONFILES) check-pylint: - pylint --rcfile=.pylint.rc -j 0 $(PYTHONFILES) || ./tools/check-pylint $$? + pylint --generated-members=cv2.* --rcfile=.pylint.rc -j 0 $(PYTHONFILES) || ./tools/check-pylint $$? + +check-mypy: + mypy $(PYTHONFILES) |