From 156ec34ab6af0fe98321d932a5eaf8eb49193ac0 Mon Sep 17 00:00:00 2001 From: Victor Martinez Date: Wed, 7 Apr 2021 17:46:05 +0100 Subject: [PATCH] CI: curl seems to be available but where cannot find it (#24965) --- .ci/scripts/install-tools.bat | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.ci/scripts/install-tools.bat b/.ci/scripts/install-tools.bat index 6131997a9c0e..438d2dec6491 100644 --- a/.ci/scripts/install-tools.bat +++ b/.ci/scripts/install-tools.bat @@ -8,10 +8,12 @@ IF NOT EXIST "%PROGRAMFILES(X86)%" ( ) set PATH=%WORKSPACE%\bin;C:\ProgramData\chocolatey\bin;C:\tools\mingw%MINGW_ARCH%\bin;%PATH% -where /q curl -IF ERRORLEVEL 1 ( +curl --version >nul 2>&1 && ( + echo found curl +) || ( choco install curl -y --no-progress --skipdownloadcache ) + mkdir %WORKSPACE%\bin IF EXIST "%PROGRAMFILES(X86)%" (