From 0b72c88d9b07c93a7e91f7fcc1671f0f1d151306 Mon Sep 17 00:00:00 2001
From: Lucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de>
Date: Dec 06 2017 23:27:05 +0000
Subject: build.sh:{fail_pkg,finish_build}: log at failexit.


---

diff --git a/build.sh b/build.sh
index eb14323..d616aff 100755
--- a/build.sh
+++ b/build.sh
@@ -27,8 +27,7 @@ buildp_dispatch() {
 			ex_rtl_log_msg info "${BUILD_NFINI} finished, ${BUILD_NSKIP} skipped, and ${BUILD_NFAIL} failed builds in ${BUILD_NBUILT} build script(s).";
 			ex_rtl_log_msg info "Build time: ${BUILD_TIMES_HOURS} hour(s), ${BUILD_TIMES_MINUTES} minute(s), and ${BUILD_TIMES_SECS} second(s).";
 			if [ -n "${BUILD_PKGS_FAILED}" ]; then
-				ex_rtl_log_msg info "Build script failure(s) in: ${BUILD_PKGS_FAILED}.";
-				exit 1;
+				ex_rtl_log_msg failexit "Build script failure(s) in: ${BUILD_PKGS_FAILED}.";
 			fi; ;;
 
 	# Target build
@@ -49,8 +48,7 @@ buildp_dispatch() {
 			else
 				ex_rtl_log_msg fail "${BUILD_WORKDIR}/${_pkg_name}_stderrout.log:";
 				cat "${BUILD_WORKDIR}/${_pkg_name}_stderrout.log";
-				ex_rtl_log_msg fail "Build failed in \`${_pkg_name}'.";
-				return 1;
+				ex_rtl_log_msg failexit "Build failed in \`${_pkg_name}'.";
 			fi; ;;
 	disabled_pkg)	ex_rtl_log_msg vnfo "Skipping disabled package \`${_pkg_name}.'"; ;;
 	skipped_pkg)	ex_rtl_log_msg vnfo "Skipping finished package \`${_pkg_name}.'"; ;;