mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-29 16:53:30 +01:00
fb74bb133c
For some time now (I'd guess almost a year 🤷), the coverage
merging on Windows has been failing, because the reports have been
generated in a different folder than expected. Our merge script did
not report failure because it was not checking the returned error
code from OpenCppCoverage, and for some reason, the `codecov` tool
happily returned 0 even though it did not find the file it was
supposed to upload...
The former is also fixed by this commit.
10 lines
320 B
Python
10 lines
320 B
Python
#!/usr/bin/env python2
|
|
|
|
import glob
|
|
import subprocess
|
|
|
|
if __name__ == '__main__':
|
|
cov_files = list(glob.glob('projects/cov-report*.bin'))
|
|
base_cmd = ['OpenCppCoverage', '--quiet', '--export_type=cobertura:cobertura.xml'] + ['--input_coverage={}'.format(f) for f in cov_files]
|
|
subprocess.check_call(base_cmd)
|