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 16:36:29 +0200
committerMartin Nowack <martin.nowack@gmail.com>2013-08-29 16:36:29 +0200
commitaa141a92a90001aa1606db474a08a2c4caed1800 (patch)
tree1759e0af5730df205646126d1eca36248f24ef90 /tools
parent565b8567b616988d5f1269ac6fc8418c542563c4 (diff)
downloadklee-aa141a92a90001aa1606db474a08a2c4caed1800.tar.gz
Revert "Use new PathV2 interface for LLVM 2.9 and higher"
This reverts commit 5c059018c02a7c7db252a3cb636a39c89c430a06.
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 42c0c4ba..92e4df67 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(2, 9)
+#if LLVM_VERSION_CODE < LLVM_VERSION(3, 1)
   if (!p.isAbsolute()) {
 #else
   if (!sys::path::is_absolute(p.c_str())) {