Fix failing Windows host build, ninja no longer available (it seems) …

…from Windows 2022 server image 20230918.1.
SmingHub · Oct 11, 2023 · fa8edce · fa8edce
1 parent 69685b1
commit fa8edce
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Tools/ci/install.cmd b/Tools/ci/install.cmd
@@ -8,4 +8,6 @@ if "%BUILD_DOCS%" == "true" (
     set INSTALL_OPTS=doc
 )
 
+choco install ninja
+
 %SMING_HOME%\..\Tools\install.cmd %SMING_ARCH% %INSTALL_OPTS%