From b6a9a1a3c8b98077cce47d579069c42080d17da5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz?=
 <lucio@lucioillanes.de>
Date: Sun, 15 Mar 2020 09:14:23 +0000
Subject: General cleanup.

---
 dist/dist_zipdist.dist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dist')

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";
-- 
cgit v1.2.3