diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |
