diff options
| author | Patrick Georgi <pgeorgi@google.com> | 2022-09-20 15:12:20 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@coreboot.org> | 2022-09-21 14:51:07 +0000 |
| commit | b7c402499678b95dc5898034b4b967a8f7e14172 (patch) | |
| tree | 6e68f4b7f624558540a9d811f8a0dc38d2829640 | |
| parent | 496331a6727d146145f843141e6bc0a1e73b60ff (diff) | |
| download | flashrom-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-x | test_build.sh | 2 |
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 |