MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix remote coverage execution

Browse Source
This commit is contained in:
Dmitry Trofimov
2016-10-09 18:57:36 +02:00
parent 86f8185f00
commit 31aa44ef33
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/helpers/coverage_runner/run_coverage.py
View File

@@ -24,7 +24,7 @@ if os.getenv('CREATE_TEMP_COVERAGE_FILE'):
print(line%(coverage_file + ".coverage", new_cov_file + ".coverage"))
print(line%(coverage_file + '.syspath.txt', new_cov_file + '.syspath.txt'))
print(line%(coverage_file + '.xml', new_cov_file + '.xml'))
coverage_file = new_cov_file + ".cov"
coverage_file = new_cov_file
if coverage_file:
os.environ['COVERAGE_FILE'] = coverage_file + ".coverage"