From af582640993c5cc71723b759a33d5ac72ec75b5a Mon Sep 17 00:00:00 2001
From: Carlo Piovesan <piovesan.carlo@gmail.com>
Date: Sun, 30 Jun 2024 09:29:08 +0200
Subject: [PATCH] PR review: add pipefail

---
 scripts/fetch_extensions.sh | 2 ++
 scripts/generate_md.sh      | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/scripts/fetch_extensions.sh b/scripts/fetch_extensions.sh
index df9f69f..0fcbbd9 100755
--- a/scripts/fetch_extensions.sh
+++ b/scripts/fetch_extensions.sh
@@ -1,3 +1,5 @@
+set -eo pipefail
+
 rm -rf build
 for extension_folder in extensions/*;
 do
diff --git a/scripts/generate_md.sh b/scripts/generate_md.sh
index 03a323f..b3b459d 100755
--- a/scripts/generate_md.sh
+++ b/scripts/generate_md.sh
@@ -3,6 +3,8 @@
 # Example of use
 # ./scripts/generated_docs_readme.sh build/release/duckdb
 
+set -eo pipefail
+
 platform=$($1 -csv -c "PRAGMA platform" | tail -n1)
 version_raw=$($1 -csv -c "PRAGMA version" | tail -n1)
 version=$(echo "$version_raw-,$version_raw" | cut -d '-' -f 2 | cut -d ',' -f 2)