Skip to content

Commit

Permalink
Update tools/ci/run_ci.sh
Browse files Browse the repository at this point in the history
Co-authored-by: Reto Schneider <[email protected]>
  • Loading branch information
LukasWoodtli and rettichschnidi authored Dec 9, 2024
1 parent 56a3853 commit f40adc2
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions tools/ci/run_ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -245,9 +245,9 @@ function run_code_checker() {

set +e +o pipefail
CodeChecker check --logfile build-wakaama/compile_commands.json \
--config "$config_file" \
--ignore "$ignore_file" \
--output $code_checker_result_dir \
--config "${config_file}" \
--ignore "${ignore_file}" \
--output ${code_checker_result_dir} \
|| true # Currently failing with found issues
set -e -o pipefail

Expand Down

0 comments on commit f40adc2

Please sign in to comment.