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?= <lucio@lucioillanes.de>
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(-)

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