diff options
Diffstat (limited to 'eng/common/tools.sh')
| -rwxr-xr-x | eng/common/tools.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/eng/common/tools.sh b/eng/common/tools.sh index 0295dd9ff..b160c370f 100755 --- a/eng/common/tools.sh +++ b/eng/common/tools.sh @@ -273,7 +273,9 @@ function GetDotNetInstallScript { if command -v curl > /dev/null; then # 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." + echo "Curl failed; dumping some information about dotnet.microsoft.com for later investigation" + echo | openssl s_client -showcerts -servername dotnet.microsoft.com -connect dotnet.microsoft.com:443 + echo "Will now retry the same URL 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')." |