2 ms·What about Ninja? https://ninja-build.org/ https://ninja-build.org/by EdSchouten 9y agoWhat about Ninja? https://ninja-build.org/ https://ninja-build.org/