4 ms·
I'll second you on ninjabuild. I just wish https://github.com/ninja-build/ninja/pull/1578 https://github.com/ninja-build/ninja/pull/1578 would get merged, so I
by sounds 7y ago
I'll second you on ninjabuild.
I just wish https://github.com/ninja-build/ninja/pull/1578 https://github.com/ninja-build/ninja/pull/1578 would get merged, so I can compose ninjabuild repos seamlessly.