From abba3215f29521754029f6dbd65b2ada3e8c4d25 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Tue, 25 Aug 2015 21:17:04 +0200
Subject: [PATCH] Add missing docstring.

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

diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py
index cffedb789..d457e23b7 100644
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@@ -78,6 +78,7 @@ PERFECT_FILES = [
 
 
 def check_coverage():
+    """Main entry point which parses/checks coverage.xml if applicable."""
     if sys.platform != 'linux':
         print("Skipping coverage checks on non-Linux system.")
         return 0