From ff8fa19642baed8100c7d47bf1e92aaf864758f0 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 17 Dec 2016 17:38:14 +0000
Subject: [TravisCI] Remove `set +e` commands so that when running tests we
 fail fast rather than continuing to run the tests (due to `set -e` at the
 beginning of the script).

Although this gives less information in the event of a broken build
it means our builds might finish faster if they are broken and it
also simplifies the script significantly.
---
 .travis/klee.sh | 16 ----------------
 1 file changed, 16 deletions(-)

(limited to '.travis')

diff --git a/.travis/klee.sh b/.travis/klee.sh
index 36b22049..ee65781f 100755
--- a/.travis/klee.sh
+++ b/.travis/klee.sh
@@ -168,17 +168,12 @@ else
     ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
     ENABLE_SHARED=0
 fi
-###############################################################################
-# Testing
-###############################################################################
-set +e # We want to let all the tests run before we exit
 
 ###############################################################################
 # Unit tests
 ###############################################################################
 if [ "X${USE_CMAKE}" == "X1" ]; then
   make unittests
-  RETURN="$?"
 else
   # The unittests makefile doesn't seem to have been packaged so get it from SVN
   sudo mkdir -p /usr/lib/llvm-${LLVM_VERSION}/build/unittests/
@@ -190,7 +185,6 @@ else
       DISABLE_ASSERTIONS=${DISABLE_ASSERTIONS} \
       ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
       ENABLE_SHARED=0
-  RETURN="$?"
 fi
 
 ###############################################################################
@@ -198,7 +192,6 @@ fi
 ###############################################################################
 if [ "X${USE_CMAKE}" == "X1" ]; then
   make integrationtests
-  RETURN="${RETURN}$?"
 else
   # Note can't use ``make check`` because llvm-lit is not available
   cd test
@@ -208,9 +201,7 @@ else
       ENABLE_OPTIMIZED=${ENABLE_OPTIMIZED} \
       ENABLE_SHARED=0
 
-  set +e # We want to let all the tests run before we exit
   lit -v .
-  RETURN="${RETURN}$?"
 fi
 
 #generate and upload coverage if COVERAGE is set
@@ -244,10 +235,3 @@ if [ ${COVERAGE} -eq 1 ]; then
     tar -zcvf coverage.tar.gz coverage/
     curl --form "file=@coverage.tar.gz" -u ${USER}:${PASSWORD} ${COVERAGE_SERVER}
 fi
-###############################################################################
-# Result
-###############################################################################
-if [ "${RETURN}" != "00" ]; then
-    echo "Running tests failed"
-    exit 1
-fi
-- 
cgit 1.4.1