Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Making cmake only optionally use ninja. Now we only use it if it's available. (details)
Commit 85532ccf3c52c4770c4a11029719bf885e96df54 by Gunther Huebler
Making cmake only optionally use ninja. Now we only use it if it's available.
The file was modified compile.py (diff)