fix: Missing pipefail

sizmailov · Aug 31, 2023 · 85bad07 · 85bad07
1 parent 5cd811c
commit 85bad07
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tests/check-demo-stubs-generation.sh b/tests/check-demo-stubs-generation.sh
@@ -53,7 +53,10 @@ format_stubs() {
 
 check_stubs() {
   git add --all "${STUBS_DIR}" ;
-  git diff --exit-code HEAD -- "${STUBS_DIR}" | tee "${STUBS_DIR}.patch"
+  (
+    set -o pipefail ;
+    git diff --exit-code HEAD -- "${STUBS_DIR}" | tee "${STUBS_DIR}.patch" ;
+  )
 }
 
 main () {