diff --git a/build/common b/build/common index f0c32b717..f056ddf4b 100644 --- a/build/common +++ b/build/common @@ -43,6 +43,13 @@ check_usage() { fi } +remote_fetch() { + local remote_location=$1 + local local_location=$2 + # We retry 12 times with 10 seconds delay between retries + curl --silent --show-error --retry 12 --retry-delay 10 -L -o ${dir}/$local_location $remote_location +} + install_mellanox() { RELEASE=$1 CHROOT=$2