diff options
Diffstat (limited to 'init-tools.sh')
| -rwxr-xr-x | init-tools.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/init-tools.sh b/init-tools.sh index 759a2ec89a..45009d4c8d 100755 --- a/init-tools.sh +++ b/init-tools.sh @@ -96,8 +96,8 @@ if [ ! -e $__PROJECT_JSON_FILE ]; then wget -q -O $__DOTNET_PATH/dotnet.tar $__CLIDownloadURL echo "wget -q -O $__DOTNET_PATH/dotnet.tar $__CLIDownloadURL" else - curl -sSL --create-dirs -o $__DOTNET_PATH/dotnet.tar $__CLIDownloadURL - echo "curl -sSL --create-dirs -o $__DOTNET_PATH/dotnet.tar $__CLIDownloadURL" + curl --retry 10 -sSL --create-dirs -o $__DOTNET_PATH/dotnet.tar $__CLIDownloadURL + echo "curl --retry 10 -sSL --create-dirs -o $__DOTNET_PATH/dotnet.tar $__CLIDownloadURL" fi cd $__DOTNET_PATH tar -xf $__DOTNET_PATH/dotnet.tar |