build: fix download and unpack not having pipefail

JCMais · Dec 4, 2023 · a5ecb8d · a5ecb8d
1 parent 308c8c7
commit a5ecb8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/ci/download-and-unpack.sh b/scripts/ci/download-and-unpack.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 # https://stackoverflow.com/a/13350100/710693
-set -eu
+set -euo pipefail
 
 # download tar gz file from source_url and unpack it to destination
 # download_and_upack <source_url> <destination>