diff options
author | Ray Molenkamp <github@lazydodo.com> | 2018-06-05 19:39:39 +0300 |
---|---|---|
committer | Ray Molenkamp <github@lazydodo.com> | 2018-06-05 19:39:39 +0300 |
commit | cd58ce85c243e6520d796f66807a0caa8e078483 (patch) | |
tree | ade325382296bab88789df227099c05394d0aef4 /build_files | |
parent | 5e44324b7985faaa849513d17c3d8076c92718ab (diff) |
make.bat : check for existence of ninja before using it.
Diffstat (limited to 'build_files')
-rw-r--r-- | build_files/windows/configure_ninja.cmd | 6 |
1 files changed, 6 insertions, 0 deletions
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" ( |