Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mypy: Move verbose error output to travis CI wrapper. 

This makes it easier to pipe the output of tools/run-mypy to tools
like grep.
This commit is contained in:
Tim Abbott 2016-05-05 13:32:17 -07:00
parent b21454d05e
commit 3a0e7c217f
2 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tools/run-mypy
View File

@ -56,13 +56,6 @@ else:
if python_files:
rc = subprocess.call([mypy_command, "--fast-parser", "--silent-imports", "--py2", "--check-untyped-defs"] + python_files)
if not rc:
print("The mypy static type checker for python detected no errors!")
else:
print("\nThe mypy static type checker for Python threw some errors,")
print("which indicates a bug in your code or incorrect type annotations.")
print("Please see http://zulip.readthedocs.io/en/latest/mypy.html for details")
print("on mypy, how Zulip is using mypy, and how to debug common issues.")
sys.exit(rc)
else:
print("There are no files to run mypy on.")

10
tools/travis/mypy
View File

@ -2,4 +2,12 @@
set -e
set -x
./tools/run-mypy
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