Cleanup temp file after make (#87)

arr-ai · Aug 9, 2020 · 33af489 · 33af489
1 parent ccc5b81
commit 33af489
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/scripts/check-coverage.sh b/scripts/check-coverage.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 MIN_COVERAGE="$1"
 
 if [ -z "$MIN_COVERAGE" ]; then
@@ -16,7 +18,12 @@ coverage_level() {
         awk '//{sub(/(\.[0-9]+)?%$/,"",$3);print$3}'
 }
 
+rm_coverage_file() {
+    rm $COVERAGE_FILE
+}
+
 go test -coverprofile=$COVERAGE_FILE -covermode=atomic ./...
+trap rm_coverage_file exit
 
 COVERAGE_LEVEL="$(coverage_level)"
 if [ "$COVERAGE_LEVEL" -lt "$MIN_COVERAGE" ]; then