diff options
author | Martin Hauke <mardnh@gmx.de> | 2018-02-11 15:47:03 +0100 |
---|---|---|
committer | Martin Hauke <mardnh@gmx.de> | 2018-02-11 15:47:03 +0100 |
commit | 8f7946f30a95a45c04ca5eb58650b9b6ec4d7f8e (patch) | |
tree | 5f57f6d082fe455aa9d220e8d12dedad6b45104e | |
parent | 882a759818f2c274e3ff6370e40d2e4621fd6ce0 (diff) |
jenkins.sh: output all test logs when 'make check' failed
Assume that cat-testlogs.sh from osmo-ci is installed in
$HOME/osmo-ci/scripts, and call from jenkins.sh upon
'make check' failure.
Change-Id: I73527117283a3a251591af48e2841c9f452f461d
-rwxr-xr-x | contrib/jenkins.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 35d8e7a..0768d71 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,4 +1,5 @@ #!/usr/bin/env bash +export PATH="$PATH:$HOME/osmo-ci/scripts" set -ex @@ -8,6 +9,6 @@ autoreconf --install --force ./configure --enable-sanitize $MAKE CFLAGS="-Werror" CPPFLAGS="-Werror" $MAKE $PARALLEL_MAKE -$MAKE distcheck +$MAKE distcheck || cat-testlogs.sh osmo-clean-workspace.sh |