From cd58ce85c243e6520d796f66807a0caa8e078483 Mon Sep 17 00:00:00 2001 From: Ray Molenkamp Date: Tue, 5 Jun 2018 10:39:39 -0600 Subject: make.bat : check for existence of ninja before using it. --- build_files/windows/configure_ninja.cmd | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'build_files/windows/configure_ninja.cmd') diff --git a/build_files/windows/configure_ninja.cmd b/build_files/windows/configure_ninja.cmd index d3b002e9a24..224d761adf6 100644 --- a/build_files/windows/configure_ninja.cmd +++ b/build_files/windows/configure_ninja.cmd @@ -1,3 +1,9 @@ +ninja --version 1>NUL 2>&1 +if %ERRORLEVEL% NEQ 0 ( + echo "Ninja not detected in the path" + exit /b 1 + ) + set BUILD_CMAKE_ARGS=%BUILD_CMAKE_ARGS% -G "Ninja" %TESTS_CMAKE_ARGS% -DCMAKE_BUILD_TYPE=%BUILD_TYPE% if "%WITH_CLANG%" == "1" ( -- cgit v1.2.3