diff options
| author | Ray Molenkamp <github@lazydodo.com> | 2020-11-30 18:22:50 +0300 |
|---|---|---|
| committer | Ray Molenkamp <github@lazydodo.com> | 2020-11-30 18:22:50 +0300 |
| commit | 83c872085dc399f0f9e80bb2926f48f313d3b358 (patch) | |
| tree | def328b112e845a864f50153fa4aa12b2be426f2 /build_files | |
| parent | 9081b80d15b3446f80ef76d10287de7d1281bd74 (diff) | |
Windows/Ninja: allow parameters for rebuild.cmd
The windows build leaves a convenience helper script
in the build folder called, rebuild.cmd. This change
passes any parameters you give rebuild.cmd to ninja
so you can easily pass it additional parameters without
having to edit the batch file manually.
Diffstat (limited to 'build_files')
| -rw-r--r-- | build_files/windows/configure_ninja.cmd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_files/windows/configure_ninja.cmd b/build_files/windows/configure_ninja.cmd index 20692847bef..d68d94a3bcf 100644 --- a/build_files/windows/configure_ninja.cmd +++ b/build_files/windows/configure_ninja.cmd @@ -92,5 +92,5 @@ echo if "%%VSCMD_VER%%" == "" ^( >> %BUILD_DIR%\rebuild.cmd echo call "%VCVARS%" %BUILD_ARCH% >> %BUILD_DIR%\rebuild.cmd echo ^) >> %BUILD_DIR%\rebuild.cmd echo echo %%TIME%% ^> buildtime.txt >> %BUILD_DIR%\rebuild.cmd -echo ninja install >> %BUILD_DIR%\rebuild.cmd +echo ninja install %%* >> %BUILD_DIR%\rebuild.cmd echo echo %%TIME%% ^>^> buildtime.txt >> %BUILD_DIR%\rebuild.cmd
\ No newline at end of file |