From b7c402499678b95dc5898034b4b967a8f7e14172 Mon Sep 17 00:00:00 2001 From: Patrick Georgi Date: Tue, 20 Sep 2022 15:12:20 +0200 Subject: 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 Reviewed-on: https://review.coreboot.org/c/flashrom/+/67739 Tested-by: build bot (Jenkins) Reviewed-by: Felix Singer Reviewed-by: Anastasia Klimchuk --- test_build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test_build.sh b/test_build.sh index b2320b83..4d6570b2 100755 --- a/test_build.sh +++ b/test_build.sh @@ -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 -- cgit v1.2.3