diff options
author | Christophe Lyon <christophe.lyon@linaro.org> | 2019-01-17 13:41:28 +0000 |
---|---|---|
committer | Christophe Lyon <christophe.lyon@linaro.org> | 2019-01-17 13:41:28 +0000 |
commit | 3d397fbc1bdbd601406322d739592c15d182a726 (patch) | |
tree | 36d26b133f5adc8cb9a83327d90fbd8f41f7d792 | |
parent | fa91442f038df2aa1c424bea94a5c09d3a73892a (diff) |
test-checkout.sh: Dump tail of log in case of error.
This is to help diagnose problems when looking at the Jenkins console,
without having to need to connect to the builder and manually inspect
the logs (which may have been cleaned up since the job ran).
Change-Id: If4f5573036808846ab6bce44a4b3fb40e96bd732
-rwxr-xr-x | test-checkout.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test-checkout.sh b/test-checkout.sh index c8e35e3..552caf5 100755 --- a/test-checkout.sh +++ b/test-checkout.sh @@ -348,7 +348,8 @@ do_test() echo "PASS: $*" else NUM_FAIL=$((NUM_FAIL+1)) - echo "FAIL: $* (See workspace-$LOGNAME/test_$LOGNAME.log)" + echo "FAIL: $* (See workspace-$LOGNAME/test_$LOGNAME.log, tail of log:)" + tail workspace-$LOGNAME/test_$LOGNAME.log fi if [ $RESULT -eq 0 -a x"$GIT_REF_OPT_SET" = x"false" ]; then GIT_REF_OPT=--with-git-reference-dir=$TOP/workspace-$LOGNAME/snapshots |