1
0
mirror of https://review.coreboot.org/flashrom.git synced 2025-04-27 07:02:34 +02:00

test_build.sh: Identify runs for Coverity Scan

For Coverity Scan[0] the same build rules apply as for scan-build.

[0] https://scan.coverity.com/projects/flashrom

Change-Id: I75147799b1c3213866e343a0384c94d0a1f5c249
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/flashrom/+/67739
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Reviewed-by: Anastasia Klimchuk <aklm@chromium.org>
This commit is contained in:
Patrick Georgi 2022-09-20 15:12:20 +02:00 committed by Patrick Georgi
parent 496331a672
commit b7c4024996

View File

@ -13,7 +13,7 @@ make_programmer_opts="INTERNAL INTERNAL_X86 SERPROG RAYER_SPI RAIDEN_DEBUG_SPI P
CH341A_SPI DIGILENT_SPI JLINK_SPI"
if [ $(basename "${CC}") = "ccc-analyzer" ]; then
if [ $(basename "${CC}") = "ccc-analyzer" ] || [ -n "${COVERITY_OUTPUT}" ]; then
is_scan_build_env=1
fi