Thank you for Ninja! The speed (reading the build.ninja file) was never a concern for us. If I could share a wish-list, it will be: - Fix the possibility of a

Thank you for Ninja! The speed (reading the build.ninja file) was never a concern for us. If I could share a wish-list, it will be: - Fix the possibility of a segmentation fault when the build file is damaged; - Use a better order of execution: https://github.com/ninja-build/ninja/issues/2157 https://github.com/ninja-build/ninja/issues/2157