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