diff options
Diffstat (limited to 'eng/common/tools.sh')
| -rwxr-xr-x | eng/common/tools.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/eng/common/tools.sh b/eng/common/tools.sh index 9019b7f5c..5fad1846e 100755 --- a/eng/common/tools.sh +++ b/eng/common/tools.sh @@ -273,8 +273,7 @@ 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" || { - if command -v openssl &> /dev/null - then + if command -v openssl &> /dev/null; then 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 fi |