Makefile: pin mypy, typed-ast version for jenkins make target

manu-chroma · manu-chroma · commit b61311cef0ae · 2017-06-25T16:42:41.000+05:30
diff --git a/Makefile b/Makefile
@@ -183,6 +183,6 @@ jenkins:
 	. env3/bin/activate ; \
 	pip install -U setuptools pip wheel ; \
 	${MAKE} install-dep ; \
-	pip install -U mypy ; ${MAKE} mypy
+	pip install -U mypy==0.470 typed-ast==0.6.3 ; ${MAKE} mypy
 
 FORCE:
