summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2022-09-20 15:12:20 +0200
committerPatrick Georgi <patrick@coreboot.org>2022-09-21 14:51:07 +0000
commitb7c402499678b95dc5898034b4b967a8f7e14172 (patch)
tree6e68f4b7f624558540a9d811f8a0dc38d2829640
parent496331a6727d146145f843141e6bc0a1e73b60ff (diff)
downloadflashrom-b7c402499678b95dc5898034b4b967a8f7e14172.tar.gz
flashrom-b7c402499678b95dc5898034b4b967a8f7e14172.tar.bz2
flashrom-b7c402499678b95dc5898034b4b967a8f7e14172.zip
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>
-rwxr-xr-xtest_build.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/test_build.sh b/test_build.sh
index b2320b836..4d6570b2d 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