From c1fbda08799d91447c007e18db31e423ee37fccd Mon Sep 17 00:00:00 2001 From: Whisperity Date: Fri, 10 Feb 2023 15:45:32 +0100 Subject: [PATCH] fix: Forward the `--config config.json` configuration file to `CodeChecker parse` --- src/parse-results.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/parse-results.sh b/src/parse-results.sh index 89629e3..8a0ebad 100755 --- a/src/parse-results.sh +++ b/src/parse-results.sh @@ -15,7 +15,7 @@ if [[ -z "$RAW_RESULT_DIR" ]]; then fi OUTPUT_DIR="$RAW_RESULT_DIR"_HTML -OUTPUT_LOG="$(dirname "$RAW_RESULT_DIR")"/"$(basename "$RAW_RESULT_DIR")_Diff.log" +OUTPUT_LOG="$(dirname "$RAW_RESULT_DIR")"/"$(basename "$RAW_RESULT_DIR")_Parse.log" mkdir -pv "$(dirname "$OUTPUT_DIR")" if [[ ! -z "$IN_CONFIGFILE" ]]; then @@ -31,6 +31,7 @@ echo "::group::Generating HTML results from analysis" --export "html" \ --output "$OUTPUT_DIR" \ --trim-path-prefix "$PROJECT_PATH" \ + $CONFIG_FLAG_1 $CONFIG_FLAG_2 \ || true echo "HTML_DIR=$OUTPUT_DIR" >> "$GITHUB_OUTPUT" echo "::endgroup::" @@ -39,6 +40,7 @@ echo "::group::Printing analysis results to log" "$CODECHECKER_PATH"/CodeChecker parse \ "$RAW_RESULT_DIR" \ --trim-path-prefix "$PROJECT_PATH" \ + $CONFIG_FLAG_1 $CONFIG_FLAG_2 \ > "$OUTPUT_LOG" EXIT_CODE=$?