added shebang and comments to clean_coverage script

diff --git a/expat/clean_coverage.sh b/expat/clean_coverage.sh
index bf02fbff4343b6367539f10a394e27760656e3d0..4d84bda941088fa5d08f5e1bb4ffb3d296ff31a8 100755 (executable)
--- 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