diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 9875e834..2d9a39ab 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -14,4 +14,4 @@ check-pylint: pylint --generated-members=cv2.* --rcfile=.pylint.rc -j 0 $(PYTHONFILES) || ./tools/check-pylint $$? check-mypy: - mypy $(PYTHONFILES) + MYPYPATH=scripts mypy --namespace-packages --explicit-package-bases $(PYTHONFILES) |