diff options
| author | Davis Goodin <dagood@users.noreply.github.com> | 2017-01-06 14:16:18 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-06 14:16:18 -0600 |
| commit | 48298d2e2d31fd80528cc401f96705175e25ee8d (patch) | |
| tree | 9b7d7efc6ce2cf2492bf6f80f8bc9f190c0e6228 /init-tools.sh | |
| parent | 806466cd42530f0f5bcf665d3a4c248b7f57ce2d (diff) | |
| download | coreclr-48298d2e2d31fd80528cc401f96705175e25ee8d.tar.gz coreclr-48298d2e2d31fd80528cc401f96705175e25ee8d.tar.bz2 coreclr-48298d2e2d31fd80528cc401f96705175e25ee8d.zip | |
Swap wget and curl to fix init-tools capability check (#8831)
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 d4183adf22..83a320f444 100755 --- a/init-tools.sh +++ b/init-tools.sh @@ -111,9 +111,9 @@ if [ ! -e $__INIT_TOOLS_DONE_MARKER ]; then # curl has HTTPS CA trust-issues less often than wget, so lets try that first. echo "Installing '${__DOTNET_LOCATION}' to '$__DOTNET_PATH/dotnet.tar'" >> $__init_tools_log if command -v curl > /dev/null; then - wget -q -O $__DOTNET_PATH/dotnet.tar ${__DOTNET_LOCATION} - else curl --retry 10 -sSL --create-dirs -o $__DOTNET_PATH/dotnet.tar ${__DOTNET_LOCATION} + else + wget -q -O $__DOTNET_PATH/dotnet.tar ${__DOTNET_LOCATION} fi cd $__DOTNET_PATH tar -xf $__DOTNET_PATH/dotnet.tar |