mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-21 15:12:02 +00:00
Use ninja instead of make by default if it is available [#CLICKHOUSE-2]
This commit is contained in:
parent
8a7103ca58
commit
6631bbc13b
@ -9,5 +9,5 @@
|
||||
|
||||
find_program(NINJA_PATH ninja)
|
||||
if (NINJA_PATH)
|
||||
set(CMAKE_GENERATOR "Ninja")
|
||||
set(CMAKE_GENERATOR "Ninja" CACHE INTERNAL "" FORCE)
|
||||
endif ()
|
||||
|
Loading…
Reference in New Issue
Block a user