diff options
-rwxr-xr-x | ci-build.sh | 15 |
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 |