commit 1654c7e3701716f66200e3b4ffb101140b0c0af6 parent 75d0a1f04aafc0e89f890458efbc549818898608 Author: Christian Grothoff <grothoff@gnunet.org> Date: Thu, 7 Sep 2023 13:14:09 +0200 Merge branch 'master' of git+ssh://git.taler.net/exchange Diffstat:
| M | ci/jobs/1-test/test.sh | | | 15 | ++++++++++----- |
1 file changed, 10 insertions(+), 5 deletions(-)
diff --git 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" \ @@ -8,17 +8,22 @@ set -exuo pipefail make make install + check_command() { - make check + # Set LD_LIBRARY_PATH so tests can find the installed libs + LD_LIBRARY_PATH=/usr/local/lib make check } 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 }