diff options
Diffstat (limited to 'contrib/devtools')
| -rwxr-xr-x | contrib/devtools/previous_release.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/contrib/devtools/previous_release.sh b/contrib/devtools/previous_release.sh index efd035f778..5ddfdb4e73 100755 --- a/contrib/devtools/previous_release.sh +++ b/contrib/devtools/previous_release.sh @@ -139,7 +139,10 @@ pushd "$TARGET" || exit 1 fi URL="https://bitcoin.org/$BIN_PATH/bitcoin-${tag:1}-$PLATFORM.tar.gz" echo "Fetching: $URL" - curl -O $URL + if ! curl -O -f $URL; then + echo "Download failed." + exit 1 + fi tar -zxf "bitcoin-${tag:1}-$PLATFORM.tar.gz" -C "$tag" --strip-components=1 "bitcoin-${tag:1}" rm "bitcoin-${tag:1}-$PLATFORM.tar.gz" fi |