diff options
Diffstat (limited to 'subr/ex_rtl_log.subr')
| -rw-r--r-- | subr/ex_rtl_log.subr | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/subr/ex_rtl_log.subr b/subr/ex_rtl_log.subr index 460c899e..514d4636 100644 --- a/subr/ex_rtl_log.subr +++ b/subr/ex_rtl_log.subr @@ -1,5 +1,5 @@ # -# set -o noglob is assumed. +# set +o errexit -o noglob is assumed. # : ${DEFAULT_LOG_MSG_FAIL_COLOUR:=91}; @@ -15,7 +15,9 @@ exp_rtl_log_printf() { local _attrs="${1}" _msg=""; shift; _msg="$(printf "${@}")"; - if [ "${BUILD_IS_PARENT:-0}" -eq 1 ]; then + if [ "${BUILD_IS_PARENT:-0}" -eq 1 ]\ + && [ -n "${DEFAULT_BUILD_LOG_FNAME}" ]\ + && [ -e "${DEFAULT_BUILD_LOG_FNAME}" ]; then printf "%s\n" "${_msg}" >> "${DEFAULT_BUILD_LOG_FNAME}"; fi; printf "\033[0m\033[${_attr}m%s\033[0m\n" "${_msg}"; |