diff options
Diffstat (limited to 'dist')
-rw-r--r-- | dist/dist_zipdist.dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/dist_zipdist.dist b/dist/dist_zipdist.dist index eda7997c..27d68ac7 100644 --- a/dist/dist_zipdist.dist +++ b/dist/dist_zipdist.dist @@ -9,7 +9,7 @@ pkg_dist_zipdist_all() { rtl_log_msg info "Finished building deployable distribution ZIP archive."; for _pkg_name in $(cat "${_pkglist_fname}"); do if [ ! -e "${BUILD_WORKDIR}/${_pkg_name}-native-${DEFAULT_TARGET}" ]; then - rtl_log_msg failexit "Error: missing package build directory for package \`${_pkg_name}'."; + rtl_log_msg fatalexit "Error: missing package build directory for package \`%s'." "${_pkg_name}"; fi; done; _dist_fname="${DEFAULT_ZIPDIST_FNAME_PREFIX}${BUILD_USER}@${BUILD_HNAME}-${BUILD_DATE_START}.zip"; |