From 9adbff42d9f83a315493a515700be12339e0385a Mon Sep 17 00:00:00 2001
From: Fierelier <fierelier@gmail.com>
Date: Mon, 8 Aug 2022 21:18:37 +0200
Subject: [PATCH] Fix error handling

---
 make-os             | 1 +
 make-os-proprietary | 1 +
 2 files changed, 2 insertions(+)

diff --git a/make-os b/make-os
index a6953f5..9ff5eae 100755
--- a/make-os
+++ b/make-os
@@ -3,6 +3,7 @@ set -e
 cd "$(dirname "$(realpath -s "$BASH_SOURCE")")"
 source shell
 source "env-$1"
+set +e
 
 (
 	set -e
diff --git a/make-os-proprietary b/make-os-proprietary
index c6b8a6d..1e0aed3 100755
--- a/make-os-proprietary
+++ b/make-os-proprietary
@@ -3,6 +3,7 @@ set -e
 cd "$(dirname "$(realpath -s "$BASH_SOURCE")")"
 source shell
 source "env-$1"
+set +e
 
 (
 	set -e