diff options
| author | Martin Roth <gaumless@gmail.com> | 2022-11-19 16:41:18 -0700 |
|---|---|---|
| committer | Martin L Roth <gaumless@gmail.com> | 2022-11-21 20:06:05 +0000 |
| commit | b5e9946227ceb0885199537c362dbddb89220d66 (patch) | |
| tree | fee68fbe9b3dddc13e47971138f896ffcc974a61 /Documentation/community | |
| parent | 676e0acb07df5af3867db65d734d30fe09e5e0bd (diff) | |
util/testing: Add scanbuild test build to what-jenkins-does
This tests building a single target with scanbuild so to make sure that
option hasn't been broken. Since it's a different type of build, it
hasn't previously been tested with what-jenkins-does.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I8a74dac203f4d38c0cb30a0b64724e6f9095b9dd
Reviewed-on: https://review.coreboot.org/c/coreboot/+/69861
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Diffstat (limited to 'Documentation/community')
0 files changed, 0 insertions, 0 deletions