diff options
author | Ray Molenkamp <github@lazydodo.com> | 2019-06-02 01:49:21 +0300 |
---|---|---|
committer | Ray Molenkamp <github@lazydodo.com> | 2019-06-02 01:49:21 +0300 |
commit | 893467a8e2d336db8b847d235a2a881925dfccc3 (patch) | |
tree | 76582e55395e2941b8e614a6a70d79b0a80d4b96 /build_files/windows/show_help.cmd | |
parent | 0360a2920dec9028d6532969788bfb0570ebb835 (diff) |
make.bat: Add convenience option to disable buildinfo
Optional parameter nobuildinfo turns WITH_BUILDINFO Off
which is helpful when doing development.
Diffstat (limited to 'build_files/windows/show_help.cmd')
-rw-r--r-- | build_files/windows/show_help.cmd | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build_files/windows/show_help.cmd b/build_files/windows/show_help.cmd index 77852a7f02e..03171b2ecaa 100644 --- a/build_files/windows/show_help.cmd +++ b/build_files/windows/show_help.cmd @@ -17,6 +17,7 @@ echo. echo Configuration options echo - verbose ^(enable diagnostic output during configuration^) echo - with_tests ^(enable building unit tests^) +echo - nobuildinfo ^(disable buildinfo^) echo - noge ^(disable building game engine and player^) echo - debug ^(Build an unoptimized debuggable build^) echo - packagename [newname] ^(override default cpack package name^) |