Merge pull request #1537 from native-api/mention_log

Mention log file if an error happened before building, too
This commit is contained in:
native-api 2021-05-27 02:29:58 +03:00 committed by GitHub
commit ca2032452b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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