From 2cfdfe0ddc88c8ec9619c37fd207778dcf2824e2 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sun, 12 Jan 2014 19:47:12 +0000
Subject: Add LLVM tool directory to PATH when running tests with llvm-lit.
 This is needed because the helper tool 'not' is used by some tests

---
 test/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test/Makefile')

diff --git a/test/Makefile b/test/Makefile
index 75e05dda..b2cc0210 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -114,4 +114,5 @@ lit.site.cfg: site.exp
 	@sed -e "s#@KLEE_SOURCE_DIR@#$(PROJ_SRC_ROOT)#g" \
 	     -e "s#@KLEE_BINARY_DIR@#$(PROJ_OBJ_ROOT)#g" \
 	     -e "s#@KLEE_TOOLS_DIR@#$(ToolDir)#g" \
+	     -e "s#@LLVM_TOOLS_DIR@#$(LLVMToolDir)#g" \
 	     $(PROJ_SRC_DIR)/lit.site.cfg.in > $@
-- 
cgit 1.4.1