All: Set default git info to unknown
This commit is contained in:
parent
e18c10e5e1
commit
72f8657017
@ -32,6 +32,16 @@ else()
|
|||||||
endif()
|
endif()
|
||||||
endif()
|
endif()
|
||||||
|
|
||||||
|
if(NOT GIT_COMMIT)
|
||||||
|
set(GIT_COMMIT "(unknown)")
|
||||||
|
endif()
|
||||||
|
if(NOT GIT_COMMIT_SHORT)
|
||||||
|
set(GIT_COMMIT_SHORT "(unknown)")
|
||||||
|
endif()
|
||||||
|
if(NOT GIT_BRANCH)
|
||||||
|
set(GIT_BRANCH "(unknown)")
|
||||||
|
endif()
|
||||||
|
|
||||||
if(CONFIG_FILE AND OUT_FILE)
|
if(CONFIG_FILE AND OUT_FILE)
|
||||||
configure_file("${CONFIG_FILE}" "${OUT_FILE}")
|
configure_file("${CONFIG_FILE}" "${OUT_FILE}")
|
||||||
endif()
|
endif()
|
||||||
|
Loading…
x
Reference in New Issue
Block a user