about summary refs log tree commit diff homepage
path: root/test/lit.site.cfg.in
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit.site.cfg.in')
-rw-r--r--test/lit.site.cfg.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/lit.site.cfg.in b/test/lit.site.cfg.in
index ec92b32d..f47d63b8 100644
--- a/test/lit.site.cfg.in
+++ b/test/lit.site.cfg.in
@@ -3,6 +3,7 @@
 config.klee_src_root = "@KLEE_SOURCE_DIR@"
 config.klee_obj_root = "@KLEE_BINARY_DIR@"
 config.klee_tools_dir = "@KLEE_TOOLS_DIR@"
+config.llvm_tools_dir = "@LLVM_TOOLS_DIR@"
 
 # Let the main config do the real work.
 lit.load_config(config, "@KLEE_SOURCE_DIR@/test/lit.cfg")