Mention log file if an error happened before building, too

This commit is contained in:
Ivan Pozdeev 2020-02-19 17:47:16 +03:00
parent 7097f8204e
commit df671621e9

View file

@ -128,13 +128,13 @@ build_failed() {
if ! rmdir "${BUILD_PATH}" 2>/dev/null; then if ! rmdir "${BUILD_PATH}" 2>/dev/null; then
echo "Inspect or clean up the working tree at ${BUILD_PATH}" echo "Inspect or clean up the working tree at ${BUILD_PATH}"
fi
if file_is_not_empty "$LOG_PATH"; then if file_is_not_empty "$LOG_PATH"; then
colorize 33 "Results logged to ${LOG_PATH}" colorize 33 "Results logged to ${LOG_PATH}"
printf "\n\n" printf "\n\n"
echo "Last 10 log lines:" echo "Last 10 log lines:"
tail -n 10 "$LOG_PATH" tail -n 10 "$LOG_PATH"
fi
fi fi
} >&3 } >&3
exit 1 exit 1