Browse Source
Handle missing git info when building
pull/15/merge
Michał Janiszewski
7 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
6 additions and
2 deletions
-
externals/cmake-modules/GetGitRevisionDescription.cmake.in
|
|
@ -33,6 +33,10 @@ else() |
|
|
endif() |
|
|
endif() |
|
|
|
|
|
|
|
|
if(NOT HEAD_HASH) |
|
|
if(NOT HEAD_HASH) |
|
|
file(READ "@GIT_DATA@/head-ref" HEAD_HASH LIMIT 1024) |
|
|
|
|
|
string(STRIP "${HEAD_HASH}" HEAD_HASH) |
|
|
|
|
|
|
|
|
if(EXISTS "@GIT_DATA@/head-ref") |
|
|
|
|
|
file(READ "@GIT_DATA@/head-ref" HEAD_HASH LIMIT 1024) |
|
|
|
|
|
string(STRIP "${HEAD_HASH}" HEAD_HASH) |
|
|
|
|
|
else() |
|
|
|
|
|
set(HEAD_HASH "Unknown") |
|
|
|
|
|
endif() |
|
|
endif() |
|
|
endif() |