/project/Win32BuildSetup/getdeploydependencies.bat
Batch | 18 lines | 10 code | 5 blank | 3 comment | 3 complexity | 25561a7facb788bcdc1d90c1cf344bf3 MD5 | raw file
1@echo off 2 3REM If KODI_MIRROR is not set externally to this script, set it to the default mirror URL 4IF "%KODI_MIRROR%" == "" SET KODI_MIRROR=http://mirrors.kodi.tv 5echo Downloading from mirror %KODI_MIRROR% 6 7 8:: Following commands expect this script's parent directory to be the current directory, so make sure that's so 9PUSHD %~dp0 10 11if not exist ..\BuildDependencies\downloads\vcredist\2017 mkdir ..\BuildDependencies\downloads\vcredist\2017 12 13if not exist ..\BuildDependencies\downloads\vcredist\2017\vcredist_%TARGET_ARCHITECTURE%.exe ( 14 echo Downloading vc141 redist... 15 ..\BuildDependencies\bin\wget --tries=5 --retry-connrefused --waitretry=2 -nv -O ..\BuildDependencies\downloads\vcredist\2017\vcredist_%TARGET_ARCHITECTURE%.exe %KODI_MIRROR%/build-deps/win32/vcredist/2017/vcredist_%TARGET_ARCHITECTURE%.exe 16) 17:: Restore the previous current directory 18POPD