PR review: add pipefail

duckdb · Jun 30, 2024 · af58264 · af58264
1 parent 02104db
commit af58264
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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)