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 /util/flashrom_tester/src | |
| 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>
Diffstat (limited to 'util/flashrom_tester/src')
0 files changed, 0 insertions, 0 deletions