diff options
Diffstat (limited to 'contrib/ci/run')
-rwxr-xr-x | contrib/ci/run | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/contrib/ci/run b/contrib/ci/run index 090751d84..3fbf2c51f 100755 --- a/contrib/ci/run +++ b/contrib/ci/run @@ -259,6 +259,7 @@ function build_coverage() declare -r coverage_report_dir="ci-report-coverage" declare extra_CFLAGS="" declare test_dir + declare status if [[ "$DISTRO_BRANCH" == -redhat-redhatenterprise*-6.*- || "$DISTRO_BRANCH" == -redhat-centos-6.*- ]]; then @@ -284,8 +285,10 @@ function build_coverage() --base-directory "$BASE_DIR" \ --output-file ci-base.info # Run tests - stage make-check make -j $CPU_NUM check || true + status=$? + stage make-check make -j $CPU_NUM check || status=$? mv "$test_dir" ci-test-dir + ((status == 0)) stage lcov-post lcov --capture --directory . \ --base-directory "$BASE_DIR" \ |