From d66f360162e76e91d373bf34c59535ddfbc8520c Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sat, 13 Sep 2014 12:05:09 -0700
Subject: [Travis] Propagate make flags to unittests build as well.

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

diff --git a/.travis/klee.sh b/.travis/klee.sh
index 0853d0e8..012262c6 100755
--- a/.travis/klee.sh
+++ b/.travis/klee.sh
@@ -78,7 +78,10 @@ svn export  http://llvm.org/svn/llvm-project/llvm/branches/${SVN_BRANCH}/unittes
 sudo mv ../Makefile.unittest /usr/lib/llvm-${LLVM_VERSION}/build/unittests/
 
 
-make unittests ENABLE_SHARED=0
+make unittests \
+    DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \
+    ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
+    ENABLE_SHARED=0
 RETURN="$?"
 
 ###############################################################################
-- 
cgit 1.4.1