diff options
Diffstat (limited to 'ci/jobs/1-test/test.sh')
| -rwxr-xr-x | ci/jobs/1-test/test.sh | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/ci/jobs/1-test/test.sh b/ci/jobs/1-test/test.sh index 64be63253..27582dd74 100755 --- a/ci/jobs/1-test/test.sh +++ b/ci/jobs/1-test/test.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -exuo pipefail +set -evu ./bootstrap ./configure CFLAGS="-ggdb -O0" \ @@ -15,10 +15,13 @@ check_command() print_logs() { - for i in $(cat src/util/test-suite.log | grep '^FAIL:' | cut -d' ' -f 2) + for i in src/*/test-suite.log do - echo Printing $i.log: - tail src/util/$i.log + FAILURE="$(grep '^FAIL:' ${i} | cut -d' ' -f2)" + if [ ! -z "${FAILURE}" ]; then + echo "Printing ${FAILURE}.log" + tail "$(dirname $i)/${FAILURE}.log" + fi done } |