summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de>2017-12-22 19:19:47 +0000
committerLucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de>2017-12-22 19:19:47 +0000
commit71818e6b2f6c02d7c5d78633952a71055efd7740 (patch)
tree7f8a747e6eeb7921f45d225c0af2d24801a8eb97
parent30ae149529f8ce02bee49c0706d67e677e44f24c (diff)
downloadmidipix_build-71818e6b2f6c02d7c5d78633952a71055efd7740.tar.bz2
midipix_build-71818e6b2f6c02d7c5d78633952a71055efd7740.tar.xz
build.sh:fail_pkg: honour absence of -P.
-rwxr-xr-xbuild.sh6
1 files 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}.'"; ;;