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 <code@reto-schneider.ch>
  • Loading branch information
LukasWoodtli and rettichschnidi authored Dec 9, 2024
1 parent f40adc2 commit 02294fc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/ci/run_ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -252,7 +252,7 @@ function run_code_checker() {
set -e -o pipefail

if [ "${OPT_CODE_CHECKER}" = "diff" ]; then
CodeChecker cmd diff -b "$baseline_file" \
CodeChecker cmd diff -b "${baseline_file}" \
-n $code_checker_result_dir \
-o html \
--export "${code_checker_report}" \
Expand Down

0 comments on commit 02294fc

Please sign in to comment.