From a28b0c3386dc1070012d0b21cd9d041e37582e6c Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Sat, 8 Aug 2015 22:55:37 +0200
Subject: [PATCH] Remove .coverage.ini in check_coverage.py.

---
 scripts/dev/check_coverage.py | 2 ++
 1 file changed, 2 insertions(+)

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