summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorLucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>2017-02-05 17:43:30 +0100
committerLucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>2017-02-05 17:43:30 +0100
commitc1aae3835fe7d398b3e22f915fe6d7913b17ee44 (patch)
tree65b736891c933ded307c66db0e8c2a46693b9bfe
parentd0a3e6e2b9edc73cff8174f797c30399172e2602 (diff)
downloadmidipix_build-c1aae3835fe7d398b3e22f915fe6d7913b17ee44.tar.bz2
midipix_build-c1aae3835fe7d398b3e22f915fe6d7913b17ee44.tar.xz
build.sh: only build packages that haven't been .finish'ed yet.
-rwxr-xr-xbuild.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/build.sh b/build.sh
index 18bd60c5..3cf89a14 100755
--- a/build.sh
+++ b/build.sh
@@ -64,6 +64,9 @@ for BUILD_TARGET_LC in $(subst_tgts invariants ${BUILD_TARGETS_META:-world}); do
else
(set -o errexit -o noglob;
parse_with_pkg_name "${BUILD_PACKAGE_LC%.*}";
+ if is_build_script_done finish; then
+ exit 0;
+ fi;
for __ in ${BUILD_STEPS}; do
case ${__#*:} in
abstract)