Merge branch 'NinjaMake' into 'master'
Add option to build with ninja to build script See merge request !5156 Former-commit-id: 0b9fb6a6fb423a745f64eb6492e2bbeb22248b86
Loading
Please register or sign in to comment
GitLab service scheduled maintenance on Friday, March 21st 2025 as of 08h00 Geneva time for an estimated period of 1 hour. Further information under OTG0154918.
Add option to build with ninja to build script See merge request !5156 Former-commit-id: 0b9fb6a6fb423a745f64eb6492e2bbeb22248b86