Brad King feb5cb8d9d 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

2019-11-26 11:20:15 -05:00

293 B

Raw Blame History

View Raw