sd-tool: Set "pipefail" bash shell option

diff --git a/bin/sd-tool b/bin/sd-tool
index 550e8d8019362f8646f2ee1b48c09c1d5da2d1b7..32fdf537f6bd80ee7f96a5fc617efa5a128d1f0c 100755 (executable)
--- 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 ...