summaryrefslogtreecommitdiffhomepage
path: root/build.sh
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de>2017-12-06 23:27:05 +0000
committerLucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de>2017-12-06 23:27:05 +0000
commit0b72c88d9b07c93a7e91f7fcc1671f0f1d151306 (patch)
tree06db620e0ae19548fe9d8a354ca1018f0d283f50 /build.sh
parent9aa87829082dff78f4edaea03a7346af708d6bb6 (diff)
downloadmidipix_build-0b72c88d9b07c93a7e91f7fcc1671f0f1d151306.tar.bz2
midipix_build-0b72c88d9b07c93a7e91f7fcc1671f0f1d151306.tar.xz
build.sh:{fail_pkg,finish_build}: log at failexit.
Diffstat (limited to 'build.sh')
-rwxr-xr-xbuild.sh6
1 files changed, 2 insertions, 4 deletions
diff --git a/build.sh b/build.sh
index eb143232..d616aff7 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}.'"; ;;