Skip to content

Commit

Permalink
Set pipefail in release script
Browse files Browse the repository at this point in the history
  • Loading branch information
elahrvivaz committed Oct 11, 2024
1 parent 69fa040 commit e866cc5
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions build/scripts/do-release.sh
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
#!/usr/bin/env bash

set -e
set -u
set -o pipefail

cd "$(dirname "$0")/../.." || exit

Expand All @@ -12,7 +14,7 @@ where :
exit 1
}

if [[ ($# -ne 0) || ( $1 == "--help") || $1 == "-h" ]]; then
if [[ ($# -ne 0) ]]; then
usage
fi

Expand All @@ -27,7 +29,7 @@ if ! [[ $(java -version 2>&1 | head -n 1 | cut -d'"' -f2) =~ ^$JAVA_VERSION.* ]]
fi

if ! [[ $(which gpg) ]]; then
echo "Error: gpg executable not found"
echo "Error: gpg executable not found (required for signed release)"
exit 1
fi

Expand Down

0 comments on commit e866cc5

Please sign in to comment.