From 240f036655e7b1dda7ae576fe5541442afd6e11b Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Sun, 9 Feb 2020 13:25:06 +0100
Subject: Makefile: user pipefail in iso build

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2bceac58..5e3d3fc6 100644
--- a/Makefile
+++ b/Makefile
@@ -27,12 +27,13 @@ prepare:
 .PHONY: iso
 .ONESHELL:
 iso: check_build_config clean prepare
-	@set -e
 	@echo "It's not like I'm building this specially for you or anything!"
 	cd $(build_dir)
-	lb build 2>&1 | tee build.log
+	set -o pipefail
+	lb build 2>&1 | tee build.log; if [ $$? -ne 0 ]; then exit 1; fi
 	cd ..
 	@scripts/copy-image
+	exit 0
 
 .PHONY: prepare-package-env
 .ONESHELL:
-- 
cgit v1.2.3