diff options
author | Lukas Rusak <lorusak@gmail.com> | 2023-05-07 20:32:26 -0700 |
---|---|---|
committer | Lukas Rusak <lorusak@gmail.com> | 2023-05-15 19:47:32 -0700 |
commit | 93cc43832a3923259951928d88e6a5a0c62078c3 (patch) | |
tree | f892785287022a63c73c97ec17ef4a40ca4a8355 /project/Win32BuildSetup/getdeploydependencies.bat | |
parent | 7d0690f7c66e33a1cd8ede1a4ffb73da54123b66 (diff) |
[windows] use curl instead of wget to download dependencies
Signed-off-by: Lukas Rusak <lorusak@gmail.com>
Diffstat (limited to 'project/Win32BuildSetup/getdeploydependencies.bat')
-rw-r--r-- | project/Win32BuildSetup/getdeploydependencies.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/project/Win32BuildSetup/getdeploydependencies.bat b/project/Win32BuildSetup/getdeploydependencies.bat index bd66ce14bb..80e64f7da0 100644 --- a/project/Win32BuildSetup/getdeploydependencies.bat +++ b/project/Win32BuildSetup/getdeploydependencies.bat @@ -11,7 +11,7 @@ if not exist %DOWNLOAD_FOLDER% mkdir %DOWNLOAD_FOLDER% if not exist %DOWNLOAD_FOLDER%\%DOWNLOAD_FILE% ( echo Downloading vc143 redist... - ..\BuildDependencies\bin\wget --tries=5 --retry-connrefused --waitretry=2 -nv -O %DOWNLOAD_FOLDER%\%DOWNLOAD_FILE% %DOWNLOAD_URL% + curl --retry 5 --retry-all-errors --retry-connrefused --retry-delay 5 --location --output %DOWNLOAD_FOLDER%\%DOWNLOAD_FILE% %DOWNLOAD_URL% ) :: Restore the previous current directory POPD |