4 Commits

Author	SHA1	Message	Date
Tim Abbott	e7d9b28dfc	install-mypy: Pass --upgrade to correctly handle new mypy versions.	2016-06-03 19:11:32 -07:00
Reid Barton	ff845ebb96	Make tools/install-mypy exit on error.	2016-05-30 09:49:45 -07:00
Umair Khan	0278ce9102	Move tools/py3_test_reqs.txt to tools/setup/. ... Fixes #708	2016-05-26 18:43:24 +05:00
Eklavya Sharma	4310e6d224	Add tools/install-mypy. ... This provides a way for users not using provision.py to install mypy. [with substantial tweaks by tabbott]	2016-04-28 12:29:12 -07:00