Merge pull request #1619 from janisozaur/patch-12

Handle missing git info when building
This commit is contained in:
bunnei 2018-11-18 19:53:34 -08:00 committed by GitHub
commit 997c3dc6ff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 2 deletions

View File

@ -33,6 +33,10 @@ else()
endif() endif()
if(NOT HEAD_HASH) if(NOT HEAD_HASH)
if(EXISTS "@GIT_DATA@/head-ref")
file(READ "@GIT_DATA@/head-ref" HEAD_HASH LIMIT 1024) file(READ "@GIT_DATA@/head-ref" HEAD_HASH LIMIT 1024)
string(STRIP "${HEAD_HASH}" HEAD_HASH) string(STRIP "${HEAD_HASH}" HEAD_HASH)
else()
set(HEAD_HASH "Unknown")
endif()
endif() endif()