From c1aae3835fe7d398b3e22f915fe6d7913b17ee44 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?= <l.illanes@gmx.de>
Date: Sun, 5 Feb 2017 17:43:30 +0100
Subject: build.sh: only build packages that haven't been .finish'ed yet.

---
 build.sh | 3 +++
 1 file changed, 3 insertions(+)

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)
-- 
cgit v1.2.3