Skip to content

Commit

Permalink
Fix makefile?
Browse files Browse the repository at this point in the history
  • Loading branch information
@Zac-HD
Zac-HD committed Sep 14, 2017
1 parent 526a40b commit acbdba7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -102,7 +102,7 @@ check-format: format
find src tests -name "*.py" | xargs $(TOOL_PYTHON) scripts/check_encoding_header.py
git diff --exit-code

check-types: $(MYPY)
check-types: $(TOOL_VIRTUALENV)
$(MYPY) src/hypothesis

install-core: $(PY27) $(PYPY) $(BEST_PY3) $(TOX)
Expand Down

0 comments on commit acbdba7

Please sign in to comment.