-
Emmanuele Bassi authored
Use the Ninja generator for CMake, instead of the Make one. Ninja is faster and generally better at using multi-core resources.
17bbc1f3
Use the Ninja generator for CMake, instead of the Make one. Ninja is faster and generally better at using multi-core resources.