From 54f1dff7ac37e44c42b2970132060b8093689df4 Mon Sep 17 00:00:00 2001
From: Marco Maggi <marco.maggi-ipsu@poste.it>
Date: Sun, 21 Oct 2018 07:56:36 +0200
Subject: [PATCH] added shebang and comments to clean_coverage script

---
 expat/clean_coverage.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/expat/clean_coverage.sh b/expat/clean_coverage.sh
index bf02fbff..4d84bda9 100755
--- a/expat/clean_coverage.sh
+++ b/expat/clean_coverage.sh
@@ -1,3 +1,9 @@
+#!/bin/bash
+#
+# Clean source directory after running the coverage script.
+
 rm -r build__*
 rm -r coverage__*
 rm -r source__*
+
+### end of file