Don't remove coverage.xml on CI.

2015-10-23 08:10:15 +02:00 · 2015-10-23 08:10:15 +02:00 · 14334dce21
commit 14334dce21
parent 023d80fe40
1 changed files with 4 additions and 1 deletions
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@ -203,7 +203,10 @@ def main_check():
    for msg in messages:
        print(msg.text)

-    os.remove('coverage.xml')
+    if 'CI' in os.environ:
+        print("Keeping coverage.xml on CI.")
+    else:
+        os.remove('coverage.xml')
    return 1 if messages else 0