Move misc/ to tools/misc

This commit is contained in:
Martin Hořeňovský 2019-12-06 11:40:53 +01:00
parent 604ededf77
commit 6eb04667ad
No known key found for this signature in database
GPG key ID: DE48307B8B0D381A
9 changed files with 4 additions and 4 deletions

View file

@ -1,9 +0,0 @@
#!/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)