about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
-rw-r--r--include/klee/Config/CompileTimeInfo.h.cmin5
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