diff options
| author | nalpp <[email protected]> | 2022-02-10 16:46:45 +0300 |
|---|---|---|
| committer | Daniil Cherednik <[email protected]> | 2022-02-10 16:46:45 +0300 |
| commit | 87f3eb38999df2d3c1cb77f8ffb9c52ec9c516fb (patch) | |
| tree | f4ab0734eecf35b22f21952d1aa15496f267a6a3 /build/scripts/coverage-info.py | |
| parent | 198698b9c1e18958addc9682fbfba4576d604757 (diff) | |
Restoring authorship annotation for <[email protected]>. Commit 1 of 2.
Diffstat (limited to 'build/scripts/coverage-info.py')
| -rw-r--r-- | build/scripts/coverage-info.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/build/scripts/coverage-info.py b/build/scripts/coverage-info.py index 94491d92564..f5452c893e7 100644 --- a/build/scripts/coverage-info.py +++ b/build/scripts/coverage-info.py @@ -242,9 +242,9 @@ def main(source_root, output, gcno_archive, gcda_archive, gcov_tool, prefix_filt else: output_dir = output + '.dir' - if not os.path.exists(output_dir): - os.makedirs(output_dir) - + if not os.path.exists(output_dir): + os.makedirs(output_dir) + teamcity_stat_file = None if teamcity_stat_output: teamcity_stat_file = os.path.join(output_dir, 'teamcity.out') |