From a3771f5a8bf844cabb863c882d45450ceb10e820 Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Fri, 29 Mar 2024 20:13:53 +0100
Subject: [PATCH] sd-tool: Set "pipefail" bash shell option

---
 bin/sd-tool | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/bin/sd-tool b/bin/sd-tool
index 550e8d8..32fdf53 100755
--- a/bin/sd-tool
+++ b/bin/sd-tool
@@ -9,6 +9,8 @@
 # (at your option) any later version.
 #
 
+set -o pipefail
+
 BIN_D=$(dirname "$0")
 
 # Detect our "share" folder ...
-- 
2.39.2