summaryrefslogtreecommitdiffhomepage
path: root/build.sh
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de>2017-11-22 20:01:52 +0000
committerLucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de>2017-11-22 20:01:52 +0000
commit648b81db9539b76a52346c1c5be2b54c4a622956 (patch)
treeb25d12c36f15b5ff6479a326d6164c298b55a791 /build.sh
parent61ba136088ee6400697c4f6ecb09fe1bbc4076e7 (diff)
downloadmidipix_build-648b81db9539b76a52346c1c5be2b54c4a622956.tar.bz2
midipix_build-648b81db9539b76a52346c1c5be2b54c4a622956.tar.xz
build.sh, etc/build.usage, subr/ex_setup_args.subr: adds -vvv and -vv.
subr/ex_rtl_log.subr:ex_log_msg(): adds vvvo and vvfo.
Diffstat (limited to 'build.sh')
-rwxr-xr-xbuild.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/build.sh b/build.sh
index a834a929..bfd435d6 100755
--- a/build.sh
+++ b/build.sh
@@ -26,7 +26,7 @@ for BUILD_TARGET_META in invariants ${BUILD_TARGETS_META:-world}; do
*) ex_log_msg fail "Build failed in \`${PKG_NAME}', check \`${WORKDIR}/${PKG_NAME}_std{err,out}.log' for details.";
: $((BUILD_NFAIL+=1));
if [ ${ARG_RELAXED:-0} -eq 1 ]; then
- BUILD_PKGS_FAILED="${BUILD_PKGS_FAILED:+${BUILD_PKGS_FAILED} }${PKG_NAME}";
+ BUILD_PKGS_FAILED="${BUILD_PKGS_FAILED:+${BUILD_PKGS_FAILED} }${PKG_NAME}";
continue;
else
break;