From a72cd0e486ed83a03447aa4fce9daf116987869a Mon Sep 17 00:00:00 2001 From: Ian Howell Date: Tue, 14 May 2019 13:00:06 -0500 Subject: [PATCH] Add overall coverage to report --- scripts/coverage_test.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/scripts/coverage_test.sh b/scripts/coverage_test.sh index b0ce436b1..5408a9f9f 100755 --- a/scripts/coverage_test.sh +++ b/scripts/coverage_test.sh @@ -8,6 +8,8 @@ check_coverage() { if (( "${coverage_int}" < "${MIN_COVERAGE}" )) ; then echo "Coverage is at ${coverage_float}, but the required coverage is ${MIN_COVERAGE}" exit 1 + else + echo "Overall coverage: ${coverage_float} of statements" fi }