Remove .coverage.ini in check_coverage.py.

2015-08-08 22:55:37 +02:00 · 2015-08-08 22:55:37 +02:00 · a28b0c3386
commit a28b0c3386
parent 409b32122e
1 changed files with 2 additions and 0 deletions
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@ -105,6 +105,8 @@ def main():
            print("{} has 100% coverage but is not in PERFECT_FILES!".format(
                filename))

+    os.remove('.coverage.xml')
+
    return status