diff --git a/.ci/scripts/install_windows.bat b/.ci/scripts/install_windows.bat index 4d3ad1916b7..f55b6a41407 100644 --- a/.ci/scripts/install_windows.bat +++ b/.ci/scripts/install_windows.bat @@ -23,6 +23,8 @@ set URL=%1 if "%2"=="" (set COMPONENTS=default) else (set COMPONENTS=%2) if "%3"=="" (set DIRECTORY=C:\temp\oneapi\) else (set DIRECTORY=%3) +echo %DIRECTORY% + curl.exe --output %TEMP%\webimage.exe --url %URL% --retry 5 --retry-delay 5 start /b /wait %TEMP%\webimage.exe -s -x -f webimage_extracted --log extract.log del %TEMP%\webimage.exe