From 47b4608a033a6b6c05f8798ab675baa120d15a7f Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 25 Apr 2015 18:38:19 +0100
Subject: Report the git tag if exists in the output of --version from klee and
 kleaver.

---
 lib/Support/PrintVersion.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/Support/PrintVersion.cpp')

diff --git a/lib/Support/PrintVersion.cpp b/lib/Support/PrintVersion.cpp
index d62269ba..b4ff9811 100644
--- a/lib/Support/PrintVersion.cpp
+++ b/lib/Support/PrintVersion.cpp
@@ -24,6 +24,9 @@ void klee::printVersion()
   llvm::outs() << KLEE_BUILD_REVISION "\n";
 #else
   llvm::outs() << "unknown\n";
+#endif
+#ifdef KLEE_BUILD_TAG
+  llvm::outs() << "  Build tag: " << KLEE_BUILD_TAG "\n";
 #endif
   // Show LLVM version information
   llvm::outs() << "\n";
-- 
cgit 1.4.1