diff options
author | bunnei <bunneidev@gmail.com> | 2018-11-18 19:53:34 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-18 19:53:34 -0800 |
commit | 997c3dc6ff1eddecaca5b9d79d834631145cb1f4 (patch) | |
tree | 071f43305eb0b13b03db44c35e2ded3b91329e38 | |
parent | 11a1442229e097ddeb092afd4f0bf444c5042b10 (diff) | |
parent | 44c80e5d8bf5d86dc15761f504e7fe0114abd1c3 (diff) |
Merge pull request #1619 from janisozaur/patch-12
Handle missing git info when building
-rw-r--r-- | externals/cmake-modules/GetGitRevisionDescription.cmake.in | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/externals/cmake-modules/GetGitRevisionDescription.cmake.in b/externals/cmake-modules/GetGitRevisionDescription.cmake.in index 888ce13aa..0d7eb3c26 100644 --- a/externals/cmake-modules/GetGitRevisionDescription.cmake.in +++ b/externals/cmake-modules/GetGitRevisionDescription.cmake.in @@ -33,6 +33,10 @@ else() endif() 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() |