From 6566f3ca2893972a10e63b0308ff9b30a2d6a575 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 17 Dec 2016 17:36:08 +0000
Subject: [TravisCI] Fix bug where TravisCI build scripts would carry on
 executing even though configure/build failed. This due to using the `&&`
 operator which means failure of commands to execute in this compound
 statement will not trigger the script to exit as requested by `set -e`.

---
 .travis/klee.sh | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

(limited to '.travis')

diff --git a/.travis/klee.sh b/.travis/klee.sh
index 64bfcb67..36b22049 100755
--- a/.travis/klee.sh
+++ b/.travis/klee.sh
@@ -146,7 +146,8 @@ if [ "X${USE_CMAKE}" == "X1" ]; then
     ${KLEE_ASSERTS_OPTION} \
     -DENABLE_TESTS=TRUE \
     -DLIT_ARGS="-v" \
-    ${KLEE_SRC} && make
+    ${KLEE_SRC}
+  make
 else
   # Build KLEE
   # Note: ENABLE_SHARED=0 is required because llvm-2.9 is incorectly packaged
@@ -161,10 +162,11 @@ else
               ${KLEE_METASMT_CONFIGURE_OPTION} \
               ${KLEE_UCLIBC_CONFIGURE_OPTION} \
               ${TCMALLOC_OPTION} \
-              CXXFLAGS="${COVERAGE_FLAGS}" \
-              && make DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \
-                      ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
-                      ENABLE_SHARED=0
+              CXXFLAGS="${COVERAGE_FLAGS}"
+  make \
+    DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \
+    ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
+    ENABLE_SHARED=0
 fi
 ###############################################################################
 # Testing
-- 
cgit 1.4.1