diff options
Diffstat (limited to 'ci/jobs/1-test/test.sh')
-rwxr-xr-x | ci/jobs/1-test/test.sh | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/ci/jobs/1-test/test.sh b/ci/jobs/1-test/test.sh index 20685d8e4..64be63253 100755 --- a/ci/jobs/1-test/test.sh +++ b/ci/jobs/1-test/test.sh @@ -7,4 +7,22 @@ set -exuo pipefail --disable-doc make make install -make check + +check_command() +{ + make check +} + +print_logs() +{ + for i in $(cat src/util/test-suite.log | grep '^FAIL:' | cut -d' ' -f 2) + do + echo Printing $i.log: + tail src/util/$i.log + done +} + +if ! check_command ; then + print_logs + exit 1 +fi |