From 71818e6b2f6c02d7c5d78633952a71055efd7740 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?= =?UTF-8?q?p=29?= Date: Fri, 22 Dec 2017 19:19:47 +0000 Subject: build.sh:fail_pkg: honour absence of -P. --- build.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'build.sh') diff --git a/build.sh b/build.sh index 8e1ac804..0d8d5546 100755 --- a/build.sh +++ b/build.sh @@ -46,8 +46,10 @@ buildp_dispatch() { 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}'."; - ex_rtl_log_msg fail "Terminating pending builds..."; - pkill -P "${$}"; + if [ "${ARG_PARALLEL:-0}" -eq 1 ]; then + ex_rtl_log_msg fail "Terminating pending builds..."; + pkill -P "${$}"; + fi; exit 1; fi; ;; disabled_pkg) ex_rtl_log_msg vnfo "Skipping disabled package \`${_pkg_name}.'"; ;; -- cgit v1.2.3