From f5afeb84a847e3876122211913b7117fd3ad1862 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sun, 12 Jan 2014 19:55:48 +0000 Subject: Put llvm tools directory at beginning of PATH list so that the LLVM version that KLEE and llvm-as use is the same. --- test/lit.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/lit.cfg b/test/lit.cfg index e8dca065..191461b6 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -34,7 +34,7 @@ if klee_obj_root is not None: if not llvm_tools_dir: lit.fatal('No LLVM tool directory set!') - path = os.path.pathsep.join((klee_tools_dir, config.environment['PATH'], llvm_tools_dir)) + path = os.path.pathsep.join((llvm_tools_dir, klee_tools_dir, config.environment['PATH'] )) config.environment['PATH'] = path # Propogate 'HOME' through the environment. -- cgit 1.4.1