[ci skip] Revert back to using wget.exe for windows installs

This commit is contained in:
Ali 2020-05-21 14:44:07 +03:00
parent d7c5a45cc2
commit 2c2c09531f

View File

@ -1371,11 +1371,10 @@ sub get_remote_file
$wget = `wget -N --no-cache --cache=no --no-check-certificate --quiet -O $destination_file $request_url`; $wget = `wget -N --no-cache --cache=no --no-check-certificate --quiet -O $destination_file $request_url`;
} }
elsif ($OS eq "Windows") { elsif ($OS eq "Windows") {
$wget = $wget = `bin\\wget.exe -N --no-cache --cache=no --no-check-certificate --quiet -O $destination_file $request_url`;
`powershell -Command "\$ProgressPreference = 'SilentlyContinue'; Invoke-RestMethod -ContentType \"application/octet-stream\" -Uri $request_url -OutFile $destination_file"`
} }
print "[Download] Saved [" . $destination_file . "] from [" . $request_url . "]\n" if !$silent_download; print "[Download] Saved [" . $destination_file . "] from [" . $request_url . "]\n" if !$silent_download;
if (($OS eq "Linux" && $wget =~ /unable to resolve/i) || ($OS eq "Windows" && $wget =~ /404/i || $wget =~ /could not be resolved/i)) { if ($wget =~ /unable to resolve/i) {
print "Error, no connection or failed request...\n\n"; print "Error, no connection or failed request...\n\n";
#die; #die;
} }