diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
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. |