mirror of
https://github.com/geode-sdk/geode.git
synced 2025-04-04 09:11:31 -04:00
Merge branch 'main' of https://github.com/geode-sdk/geode into main
This commit is contained in:
commit
cbd7e1e972
1 changed files with 1 additions and 1 deletions
|
@ -366,7 +366,7 @@ endif()
|
|||
add_subdirectory(test)
|
||||
|
||||
# Add install target on CLI >= 2.10.0 (which adds `geode profile path`)
|
||||
if (${GEODE_CLI_VERSION} VERSION_GREATER_EQUAL "2.10.0")
|
||||
if (NOT GEODE_BUILDING_DOCS AND ${GEODE_CLI_VERSION} VERSION_GREATER_EQUAL "2.10.0")
|
||||
execute_process(
|
||||
COMMAND ${GEODE_CLI} profile path -d
|
||||
OUTPUT_VARIABLE GEODE_PROFILE_GD_PATH
|
||||
|
|
Loading…
Add table
Reference in a new issue