Add repro instructions for coverage in run_tests.sh.

diff --git a/tests/run_tests.sh b/tests/run_tests.sh
index db9f8cbb1f45bddb3dce5b9d954e4e61852f9c34..aa344a62ead9c57903a7aa9d09519fd2dd835700 100755 (executable)
--- a/tests/run_tests.sh
+++ b/tests/run_tests.sh
@@ -27,7 +27,7 @@ make_header() {
     local title="$1"
     local title_len=${#title}
     title_len=$((title_len + 4))
-    local width=70
+    local width=76
     local left=4
     local right=$(($width-($title_len+$left)))
     local color="$2"
@@ -150,6 +150,11 @@ fi
 if [ ${COVERAGE} -eq 1 ]; then
     make_header "Code Coverage Report" "${GREEN}"
     coverage report --omit=config-3.8.py --sort=-cover
+    echo
+    echo "To reproduce this report without run-running the tests, invoke:"
+    echo
+    echo "    $ coverage report --omit=config-3.8.py --sort=-cover"
+    echo
 fi
 
 if [ ${FAILURES} -ne 0 ]; then