diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py index 18b6e61d7..c30c8e9f4 100644 --- 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