Patrick Georgi has submitted this change. ( https://review.coreboot.org/c/flashrom/+/67739 )
Change subject: test_build.sh: Identify runs for Coverity Scan ......................................................................
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 --- M test_build.sh 1 file changed, 19 insertions(+), 1 deletion(-)
Approvals: build bot (Jenkins): Verified Felix Singer: Looks good to me, approved Anastasia Klimchuk: Looks good to me, approved
diff --git a/test_build.sh b/test_build.sh index b2320b8..4d6570b 100755 --- a/test_build.sh +++ b/test_build.sh @@ -13,7 +13,7 @@ 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