2016-04-18 11:46:53 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
set -x
|
2016-05-05 22:32:17 +02:00
|
|
|
if ./tools/run-mypy; then
|
|
|
|
|
echo "The mypy static type checker for python detected no errors!"
|
|
|
|
|
else
|
|
|
|
|
echo
|
|
|
|
|
echo "The mypy static type checker for Python threw some errors,"
|
|
|
|
|
echo "which indicates a bug in your code or incorrect type annotations."
|
|
|
|
|
echo "Please see http://zulip.readthedocs.io/en/latest/mypy.html for details"
|
|
|
|
|
echo "on mypy, how Zulip is using mypy, and how to debug common issues."
|
|
|
|
|
fi
|
