Patrick Georgi has uploaded this change for review.
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>
---
M test_build.sh
1 file changed, 15 insertions(+), 1 deletion(-)
git pull ssh://review.coreboot.org:29418/flashrom refs/changes/39/67739/1
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
To view, visit change 67739. To unsubscribe, or for help writing mail filters, visit settings.