From 9246ebe17f2e58a6f0dc7c5d2a9e06534baf9443 Mon Sep 17 00:00:00 2001 From: David Skoland Date: Thu, 25 Nov 2021 16:35:00 +0100 Subject: [PATCH] Fix Coin prebuilt GCC download MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit We already have the DownloadURL function which is used pretty much everywhere except here, so it makes sense to use it here too. Change-Id: Icc1d3db7e4e3d3f61f6cd6a22b35e2ef007ff40c Reviewed-by: Tony Sarajärvi --- coin/provisioning/common/linux/gcc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coin/provisioning/common/linux/gcc.sh b/coin/provisioning/common/linux/gcc.sh index 10a7ffa7..884129c3 100755 --- a/coin/provisioning/common/linux/gcc.sh +++ b/coin/provisioning/common/linux/gcc.sh @@ -69,7 +69,7 @@ function InstallGCC() { buildFolder="$HOME/gcc_build" echo "Fetching prebuilt GCC." - curl --fail -L --retry 5 --retry-delay 5 -o "$prebuiltTarget" "$prebuiltGCC" || ( + DownloadURL "$prebuiltGCC" "" "$prebuiltSHA1" "$prebuiltTarget" || ( echo "Fetching prebuilt GCC failed. Building from sources." DownloadURL "$cachedUrl" "$officialUrl" "$sourcesSHA1" "$targetFile" )