diff options
| -rw-r--r-- | .coveragerc | 2 | ||||
| -rw-r--r-- | scripts/dev/check_coverage.py | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/.coveragerc b/.coveragerc index 07e1f32c2..f6cbb41fd 100644 --- a/.coveragerc +++ b/.coveragerc @@ -14,4 +14,4 @@ exclude_lines = if __name__ == ["']__main__["']: [xml] -output=.coverage.xml +output=coverage.xml diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py index 954a467f0..54195665b 100644 --- a/scripts/dev/check_coverage.py +++ b/scripts/dev/check_coverage.py @@ -143,7 +143,7 @@ def main(): utils.change_cwd() try: - with open('.coverage.xml', encoding='utf-8') as f: + with open('coverage.xml', encoding='utf-8') as f: messages = check(f, PERFECT_FILES) except Skipped as e: print(e) @@ -152,7 +152,7 @@ def main(): for msg in messages: print(msg) - os.remove('.coverage.xml') + os.remove('coverage.xml') return 1 if messages else 0 |