Fix makefile again?

HypothesisWorks · Sep 14, 2017 · 326ee14 · 326ee14
1 parent 07d7d20
commit 326ee14
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -24,7 +24,6 @@ TOOLS=$(BUILD_RUNTIMES)/tools
 
 TOX=$(TOOLS)/tox
 SPHINX_BUILD=$(TOOLS)/sphinx-build
-MYPY=$(TOOLS)/mypy
 ISORT=$(TOOLS)/isort
 FLAKE8=$(TOOLS)/flake8
 PYFORMAT=$(TOOLS)/pyformat
@@ -103,7 +102,7 @@ check-format: format
 	git diff --exit-code
 
 check-types: $(TOOL_VIRTUALENV)
-	$(MYPY) src/hypothesis
+	$(TOOL_PYTHON) -m mypy src/hypothesis
 
 install-core: $(PY27) $(PYPY) $(BEST_PY3) $(TOX)