From f11c0b1039bcadf5420e1d9139200ef1ea93e37a Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sat, 13 Sep 2014 12:14:01 -0700
Subject: [Travis] Also propagate make flags to 'lit.site.cfg' build.

---
 .travis/klee.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.travis/klee.sh b/.travis/klee.sh
index 012262c6..6c4ba745 100755
--- a/.travis/klee.sh
+++ b/.travis/klee.sh
@@ -90,7 +90,10 @@ RETURN="$?"
 # Note can't use ``make check`` because llvm-lit is not available
 cd test
 # The build system needs to generate this file before we can run lit
-make lit.site.cfg
+make lit.site.cfg \
+    DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \
+    ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
+    ENABLE_SHARED=0
 # Running is parallel is broken and there's no point on our "single core" VM anyway
 
 set +e # We want to let all the tests run before we exit
-- 
cgit 1.4.1