diff options
| -rwxr-xr-x | tests/run_tests.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests.sh index db9f8cb..aa344a6 100755 --- 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 |