about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorMartin Nowack <martin.nowack@gmail.com>2013-08-29 12:10:35 +0200
committerMartin Nowack <martin.nowack@gmail.com>2013-08-29 12:10:35 +0200
commit5c059018c02a7c7db252a3cb636a39c89c430a06 (patch)
tree33b18a08bee3a8452d6fd78e5a07dac5e9ad5838 /tools
parent6c445f2b1a1f91ffb301bece325dd5a491922ce1 (diff)
downloadklee-5c059018c02a7c7db252a3cb636a39c89c430a06.tar.gz
Use new PathV2 interface for LLVM 2.9 and higher
Enable PathV2 interface starting from LLVM 2.9 and do some minor include
cleanup.
Diffstat (limited to 'tools')
-rw-r--r--tools/klee/main.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 0d899ae9..9060e354 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -303,7 +303,7 @@ KleeHandler::KleeHandler(int argc, char **argv)
   }
   
   sys::Path p(theDir);
-#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1)
+#if LLVM_VERSION_CODE < LLVM_VERSION(2, 9)
   if (!p.isAbsolute()) {
 #else
   if (!sys::path::is_absolute(p.c_str())) {