Merge 6ec42df32b into merged_master (Bitcoin PR #18426)

This commit is contained in:
Andrew Poelstra 2020-11-26 01:08:08 +00:00
commit 5a900129b7

View file

@ -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