Attention is currently required from: Patrick Georgi, Anastasia Klimchuk.

Felix Singer would like build bot (Jenkins), Patrick Georgi and Anastasia Klimchuk to review this change.

View Change

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(-)

git pull ssh://review.coreboot.org:29418/flashrom refs/changes/02/68002/1
diff --git a/test_build.sh b/test_build.sh
index 886994f..6943701 100755
--- a/test_build.sh
+++ b/test_build.sh
@@ -8,7 +8,7 @@
DRKAISER NICREALTEK NICNATSEMI NICINTEL NICINTEL_SPI NICINTEL_EEPROM OGP_SPI \
BUSPIRATE_SPI DEDIPROG SATAMV LINUX_SPI IT8212 CH341A_SPI"

-if [ $(basename "${CC}") = "ccc-analyzer" ]; then
+if [ $(basename "${CC}") = "ccc-analyzer" ] || [ -n "${COVERITY_OUTPUT}" ]; then
is_scan_build_env=1
fi


To view, visit change 68002. To unsubscribe, or for help writing mail filters, visit settings.

Gerrit-Project: flashrom
Gerrit-Branch: 1.0.x
Gerrit-Change-Id: I75147799b1c3213866e343a0384c94d0a1f5c249
Gerrit-Change-Number: 68002
Gerrit-PatchSet: 1
Gerrit-Owner: Felix Singer <felixsinger@posteo.net>
Gerrit-Reviewer: Anastasia Klimchuk <aklm@chromium.org>
Gerrit-Reviewer: Patrick Georgi <patrick@coreboot.org>
Gerrit-Reviewer: build bot (Jenkins) <no-reply@coreboot.org>
Gerrit-Attention: Patrick Georgi <patrick@coreboot.org>
Gerrit-Attention: Anastasia Klimchuk <aklm@chromium.org>
Gerrit-MessageType: newchange