From d35dc3065f31cd4c5586afda734e0046a57aee78 Mon Sep 17 00:00:00 2001 From: jmanjon Date: Wed, 13 Apr 2022 23:15:45 +0000 Subject: [PATCH] Fix for #1292 --- tools/build.cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/build.cmd b/tools/build.cmd index 7558f4efff..5a47d87764 100644 --- a/tools/build.cmd +++ b/tools/build.cmd @@ -170,5 +170,5 @@ REM REM ########################################################################################## :build_config_ninja cmake -G "Ninja" -DCMAKE_MAKE_PROGRAM="!NINJA!" -DCMAKE_TOOLCHAIN_FILE="!VCPKG_CMAKE!" !CONFIG! "!ROOT!" -%NINJA% +"%NINJA%" exit /b