diff options
Diffstat (limited to 'include')
-rw-r--r-- | include/klee/Config/CompileTimeInfo.h.cmin | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/include/klee/Config/CompileTimeInfo.h.cmin b/include/klee/Config/CompileTimeInfo.h.cmin index e07de010..72dbc7b1 100644 --- a/include/klee/Config/CompileTimeInfo.h.cmin +++ b/include/klee/Config/CompileTimeInfo.h.cmin @@ -12,8 +12,7 @@ #define KLEE_COMPILE_TIME_INFO_H #define KLEE_BUILD_MODE "@CMAKE_BUILD_TYPE@ (Asserts: @ENABLE_KLEE_ASSERTS@)" -// TODO: Implement support for these -// KLEE_BUILD_REVISION -// KLEE_BUILD_TAG +#define KLEE_BUILD_REVISION "@KLEE_GIT_SHA1HASH@" +#define KLEE_BUILD_TAG "@KLEE_GIT_TAG@" #endif |