Ninja: Prefer first ninja tool available in PATH
Loading
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 (closed)