diff options
| -rwxr-xr-x | test-suite/report.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test-suite/report.sh b/test-suite/report.sh index e83827973b..05f39b4b02 100755 --- a/test-suite/report.sh +++ b/test-suite/report.sh @@ -45,6 +45,11 @@ fi if grep -q -F 'Error!' summary.log ; then echo FAILURES; grep -F 'Error!' summary.log; + if [ -z "$TRAVIS" ] && [ -z "$PRINT_LOGS" ]; then + echo 'To print details of failed tests, rerun with environment variable PRINT_LOGS=1' + echo 'eg "make report PRINT_LOGS=1" from the test suite directory"' + echo 'See README.md in the test suite directory for more information.' + fi false else echo NO FAILURES; fi |