aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristophe Lyon <christophe.lyon@linaro.org>2019-01-17 13:41:28 +0000
committerChristophe Lyon <christophe.lyon@linaro.org>2019-01-17 13:41:28 +0000
commit3d397fbc1bdbd601406322d739592c15d182a726 (patch)
tree36d26b133f5adc8cb9a83327d90fbd8f41f7d792
parentfa91442f038df2aa1c424bea94a5c09d3a73892a (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-xtest-checkout.sh3
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