diff options
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -35,7 +35,7 @@ all: clean-pyc clean-backupfiles style-check test style-check: @$(PYTHON) utils/check_sources.py $(DONT_CHECK) . -clean: clean-pyc clean-pycache clean-patchfiles clean-backupfiles clean-generated clean-testfiles clean-buildfiles +clean: clean-pyc clean-pycache clean-patchfiles clean-backupfiles clean-generated clean-testfiles clean-buildfiles clean-mypyfiles clean-pyc: find . -name '*.pyc' -exec rm -f {} + @@ -62,6 +62,9 @@ clean-testfiles: clean-buildfiles: rm -rf build +clean-mypyfiles: + rm -rf .mypy_cache/ + pylint: @pylint --rcfile utils/pylintrc sphinx |