diff --git a/.ci/scripts/coverity.sh b/.ci/scripts/coverity.sh index 7cd36eb46c..b0283538c5 100755 --- a/.ci/scripts/coverity.sh +++ b/.ci/scripts/coverity.sh @@ -73,13 +73,6 @@ function build_with_coverity() { return $err_code } -function format-errors() { - cov-format-errors --dir "$COV_BUILD_DIR" --strip-path '/lib/terminfo/s/*' --emacs-style | tee log - cov-format-errors --dir "$COV_BUILD_DIR" --strip-path '/lib/terminfo/s/*' --html-output report - err_code=$? - return $err_code -} - # Run Coverity analysis function run_coverity_analysis() { echo "Running Coverity analysis..." @@ -91,6 +84,13 @@ function run_coverity_analysis() { return $err_code } +function format-errors() { + cov-format-errors --dir "$COV_BUILD_DIR" --strip-path '/lib/terminfo/s/*' --emacs-style | tee log + cov-format-errors --dir "$COV_BUILD_DIR" --strip-path '/lib/terminfo/s/*' --html-output report + err_code=$? + return $err_code +} + # Main function function main() { # Parse command-line options