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 }