From b1334142ab5520f652f3dfe9f8bdebba880328d7 Mon Sep 17 00:00:00 2001
From: "Rafael G. Martins" <rafael@rafaelmartins.eng.br>
Date: Tue, 13 Mar 2018 23:56:17 +0100
Subject: travis: do not exit on build error

---
 .travis/test-run.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/.travis/test-run.sh b/.travis/test-run.sh
index 8858dd8..b9bd083 100755
--- a/.travis/test-run.sh
+++ b/.travis/test-run.sh
@@ -50,10 +50,7 @@ RV=0
 
 if [[ ${BUILD} -eq 1 ]]; then
     pushd "${BUILD_DIR}" > /dev/null
-    set +e
-    build
-    RV=$?
-    set -e
+    build || RV=1
     popd > /dev/null
 fi
 
-- 
cgit v1.2.3-18-g5258