paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-02 21:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update linecoverage directory to linecoverage-report.

Browse Source 
tools/provision.py: Create directory var/linecoverage-report.

tools/run-mypy: Update coverage dir to var/linecoverage-report.
This commit is contained in:
Taranjeet Singh
2016-07-16 20:14:41 +05:30
committed by Tim Abbott
parent 4d2cb3754c
commit 64332d8816
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/run-mypy
View File

@@ -97,7 +97,7 @@ if py_version == 2:
extra_args.append("--py2")
if args.linecoverage_report:
extra_args.append("--linecoverage-report")
extra_args.append("linecoverage-report")
extra_args.append("var/linecoverage-report")
if args.disallow_untyped_defs:
extra_args.append("--disallow-untyped-defs")
@@ -108,7 +108,7 @@ if python_files:
if args.linecoverage_report:
# Move the coverage report to where coveralls will look for it.
try:
os.rename('linecoverage-report/coverage.txt', '.coverage')
os.rename('var/linecoverage-report/coverage.txt', '.coverage')
except OSError:
# maybe mypy crashed; exit with its error code
pass