Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.blender.org/blender.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCampbell Barton <ideasman42@gmail.com>2021-04-14 04:35:59 +0300
committerCampbell Barton <ideasman42@gmail.com>2021-04-14 04:36:46 +0300
commite45a57656ce2d934a38a9c90c131ca31e84a1623 (patch)
tree2f42143ccb67acd6ce8b2955f2423a86ddecee03 /GNUmakefile
parentd63b72e9f9305ac275584e801244741f2a14e5d3 (diff)
GNUmakefile: add 'check_mypy' convenience target
Diffstat (limited to 'GNUmakefile')
-rw-r--r--GNUmakefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile
index d7ecee09351..7df561ed34f 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -480,6 +480,9 @@ check_smatch: .FORCE
cd "$(BUILD_DIR)" ; \
$(PYTHON) "$(BLENDER_DIR)/build_files/cmake/cmake_static_check_smatch.py"
+check_mypy: .FORCE
+ $(PYTHON) "$(BLENDER_DIR)/source/tools/check_source/check_mypy.py"
+
check_spelling_py: .FORCE
cd "$(BUILD_DIR)" ; \
PYTHONIOENCODING=utf_8 $(PYTHON) \