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" )