diff options
| author | Brad King <brad.king@kitware.com> | 2019-11-26 16:13:02 (GMT) |
|---|---|---|
| committer | Brad King <brad.king@kitware.com> | 2019-11-26 16:20:15 (GMT) |
| commit | feb5cb8d9d9a334c34e8cc30c9970fd5d71d25fd (patch) | |
| tree | 49d6a08ff9c7743217a1f061dad35f16b6496a40 /Help/release | |
| parent | ffe801062a63387b2c109eda034d74830d72a4ce (diff) | |
| download | CMake-feb5cb8d9d9a334c34e8cc30c9970fd5d71d25fd.zip CMake-feb5cb8d9d9a334c34e8cc30c9970fd5d71d25fd.tar.gz CMake-feb5cb8d9d9a334c34e8cc30c9970fd5d71d25fd.tar.bz2 | |
Ninja: Prefer first ninja tool available in PATH
We search for tools `ninja-build`, `ninja`, and `samu` as the build tool
for the Ninja generator. Re-order the search to prefer whichever tool
appears first in the `PATH`. This makes it easier for users to control
which tool gets used when more than one is available.
Fixes: #20028
Diffstat (limited to 'Help/release')
| -rw-r--r-- | Help/release/dev/ninja-tool.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Help/release/dev/ninja-tool.rst b/Help/release/dev/ninja-tool.rst new file mode 100644 index 0000000..aa0292e --- /dev/null +++ b/Help/release/dev/ninja-tool.rst @@ -0,0 +1,7 @@ +ninja-tool +---------- + +* The :generator:`Ninja` generator now prefers the first ninja build + tool to appear in the ``PATH`` no matter whether it is called + ``ninja-build``, ``ninja``, or ``samu``. Previously the first + of those names to appear anywhere in the ``PATH`` would be preferred. |