From 33bcf170ac0562c097a0fecae3b905d0c34c6bd9 Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Fri, 12 May 2023 16:43:51 +0200
Subject: [PATCH] build: exit with error if a build recipe is failing

---
 build | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/build b/build
index c0bcf84..20ad000 100755
--- a/build
+++ b/build
@@ -358,7 +358,8 @@ build::compile() {
 	install -m 0755 -d "${PREFIX}"/{bin,init,lib,libexec} \
 
 	for recipe in recipes/[0-9]*; do
-		"./${recipe}" "${PREFIX}"
+		"./${recipe}" "${PREFIX}" || \
+			std::die 1 "Oops"
 	done
 	if [[ "${opt_cleanup}" == 'yes' ]]; then
 		rm -rf "${TMP_DIR}/*"