From 01625834445c841f3b7c999ceaa18261dd5c671b Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Mon, 9 Nov 2015 20:07:08 +0100
Subject: [PATCH] Fix check_coverage.py return value.

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

diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py
index 65228a10e..f25b9fdaa 100644
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@@ -248,9 +248,9 @@ def main():
     """
     utils.change_cwd()
     if '--check-all' in sys.argv:
-        main_check_all()
+        return main_check_all()
     else:
-        main_check()
+        return main_check()
 
 
 if __name__ == '__main__':