From 22814821acf480b45328bd7a001fefbdc0badeb7 Mon Sep 17 00:00:00 2001
From: "dotnet-maestro[bot]"
<42748379+dotnet-maestro[bot]@users.noreply.github.com>
Date: Thu, 3 Dec 2020 13:26:05 +0000
Subject: [PATCH] Update dependencies from https://github.com/dotnet/arcade
build 20201201.2 (#663)
[master] Update dependencies from dotnet/arcade
---
eng/Version.Details.xml | 4 ++--
eng/common/tools.sh | 14 +++++++++-----
global.json | 2 +-
3 files changed, 12 insertions(+), 8 deletions(-)
diff --git a/eng/Version.Details.xml b/eng/Version.Details.xml
index 93aecf540c..2ca5d9366b 100644
--- a/eng/Version.Details.xml
+++ b/eng/Version.Details.xml
@@ -3,9 +3,9 @@
-
+
https://github.com/dotnet/arcade
- 35bddd4fbfab8da3518fb920250d7c9e0c3138ff
+ 6d8efa00a7dd2d15e07df673a83cecb8a0a3031f
diff --git a/eng/common/tools.sh b/eng/common/tools.sh
index 98186e7849..8715272412 100755
--- a/eng/common/tools.sh
+++ b/eng/common/tools.sh
@@ -249,7 +249,7 @@ function with_retries {
return 0
fi
- timeout=$((2**$retries-1))
+ timeout=$((3**$retries-1))
echo "Failed to execute '$@'. Waiting $timeout seconds before next attempt ($retries out of $maxRetries)." 1>&2
sleep $timeout
done
@@ -271,10 +271,14 @@ function GetDotNetInstallScript {
# Use curl if available, otherwise use wget
if command -v curl > /dev/null; then
- with_retries curl "$install_script_url" -sSL --retry 10 --create-dirs -o "$install_script" || {
- local exit_code=$?
- Write-PipelineTelemetryError -category 'InitializeToolset' "Failed to acquire dotnet install script (exit code '$exit_code')."
- ExitWithExitCode $exit_code
+ # first, try directly, if this fails we will retry with verbose logging
+ curl "$install_script_url" -sSL --retry 10 --create-dirs -o "$install_script" || {
+ echo "curl failed; will now retry with verbose logging."
+ with_retries curl "$install_script_url" -sSL --verbose --retry 10 --create-dirs -o "$install_script" || {
+ local exit_code=$?
+ Write-PipelineTelemetryError -category 'InitializeToolset' "Failed to acquire dotnet install script (exit code '$exit_code')."
+ ExitWithExitCode $exit_code
+ }
}
else
with_retries wget -v -O "$install_script" "$install_script_url" || {
diff --git a/global.json b/global.json
index 87e9dc7644..e22d97339e 100644
--- a/global.json
+++ b/global.json
@@ -17,6 +17,6 @@
"xcopy-msbuild": "16.8.0-preview2.1"
},
"msbuild-sdks": {
- "Microsoft.DotNet.Arcade.Sdk": "6.0.0-beta.20573.2"
+ "Microsoft.DotNet.Arcade.Sdk": "6.0.0-beta.20601.2"
}
}