From 9e6bcb97cac1deab4508a705102edb2a3f15ce5d Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Mon, 31 Aug 2015 07:41:06 +0200
Subject: [PATCH] Output coverage to coverage.xml.

This avoids https://bitbucket.org/ned/coveragepy/issues/400/
---
 .coveragerc                   | 2 +-
 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