From c1aae3835fe7d398b3e22f915fe6d7913b17ee44 Mon Sep 17 00:00:00 2001
From: Lucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de>
Date: Feb 05 2017 16:43:30 +0000
Subject: build.sh: only build packages that haven't been .finish'ed yet.


---

diff --git a/build.sh b/build.sh
index 18bd60c..3cf89a1 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)