diff options
-rwxr-xr-x | test-checkout.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-checkout.sh b/test-checkout.sh index 552caf5..7f27fcf 100755 --- a/test-checkout.sh +++ b/test-checkout.sh @@ -349,7 +349,7 @@ do_test() else NUM_FAIL=$((NUM_FAIL+1)) echo "FAIL: $* (See workspace-$LOGNAME/test_$LOGNAME.log, tail of log:)" - tail workspace-$LOGNAME/test_$LOGNAME.log + tail -n20 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 |