diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-19 08:24:11 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | bd5067d49cc113750887b62f865df8048c648cce (patch) | |
tree | d6323ed40026280674043fa8c4093437e33df2e1 /src/base/git_versioninfo.cpp.in | |
parent | d78113d408d706d44c1d8cfc379fa86cd8e20460 (diff) |
cmake: Guard GetGitRevisionDescription.
Diffstat (limited to 'src/base/git_versioninfo.cpp.in')
-rw-r--r-- | src/base/git_versioninfo.cpp.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/git_versioninfo.cpp.in b/src/base/git_versioninfo.cpp.in index e601a851a..20da094bc 100644 --- a/src/base/git_versioninfo.cpp.in +++ b/src/base/git_versioninfo.cpp.in @@ -1,5 +1,5 @@ #include "base/configuration.h" -const bool ::CVC4::Configuration::IS_GIT_BUILD = true; +const bool ::CVC4::Configuration::IS_GIT_BUILD = @GIT_BUILD@; const char* const ::CVC4::Configuration::GIT_BRANCH_NAME = "@GIT_BRANCH@"; const char* const ::CVC4::Configuration::GIT_COMMIT = "@GIT_SHA1@"; const bool ::CVC4::Configuration::GIT_HAS_MODIFICATIONS = @GIT_IS_DIRTY@; |