From ff1ebf6ff00abcdae1894499a574146fc84de0e1 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Sun, 6 Mar 2016 18:04:12 +0000
Subject: [PATCH] Problem: ci_build.sh make check is overly complex

Solution: simply run make VERBOSE=1 check instead of manually
checking for return value and cat'ing the log file. With VERBOSE, on
error the log file will be automatically printed.
---
 ci_build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci_build.sh b/ci_build.sh
index 2e55d2e1..acab6bce 100755
--- a/ci_build.sh
+++ b/ci_build.sh
@@ -28,7 +28,7 @@ if [ $BUILD_TYPE == "default" ]; then
         ./autogen.sh &&
         ./configure "${CONFIG_OPTS[@]}" &&
         make &&
-        ( if make check; then true; else cat test-suite.log; exit 1; fi ) &&
+        make VERBOSE=1 check &&
         make install
     ) || exit 1
 else