about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rwxr-xr-xci-build.sh15
1 files changed, 11 insertions, 4 deletions
diff --git a/ci-build.sh b/ci-build.sh
index 0a42e099..2d615a9a 100755
--- a/ci-build.sh
+++ b/ci-build.sh
@@ -1,8 +1,19 @@
 #!/usr/bin/env bash
 
+log_content()
+{
+    echo
+    echo "Content of $1:"
+    cat "$1"
+}
+
 error_handler()
 {
     ERR_CODE=$?
+
+    log_content ./config.log
+    log_content ./test-suite.log
+
     echo
     echo "Error ${ERR_CODE} with command '${BASH_COMMAND}' on line ${BASH_LINENO[0]}. Exiting."
     echo
@@ -114,10 +125,6 @@ do
     $MAKE CC="${CC}"
     $MAKE check
 
-    if [ $? -eq 1 ]; then
-        cat ./test-suite.log
-    fi
-
     ./profanity -v
     $MAKE clean
 done