+if [ ${COVERAGE} -eq 1 ]; then
+ make_header "Code Coverage Report" "${GREEN}"
+ coverage report --omit=config-3.8.py --sort=-cover
+ echo
+ echo "Note: to recall this report without run-running the tests, invoke:"
+ echo
+ echo " $ coverage report --omit=config-3.8.py --sort=-cover"
+ echo
+fi
+