diff options
| author | Martin Roth <gaumless@gmail.com> | 2023-02-06 10:12:29 -0700 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2023-02-08 19:15:40 +0000 |
| commit | 0363561a303c8779e228dc248017c0b0e95de159 (patch) | |
| tree | 809fd0072243648d096ba9acff4f4fe175b6d6b7 /src/mainboard/google/kahlee/Makefile.inc | |
| parent | 6e7645e4febcb254300b79e6dc4e66341fcb3ef4 (diff) | |
util/testing: Allow scanbuild test to be skipped
This is currently killing the jenkins builds. This patch allows it to
be disabled until the reason is found.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I16dba80a88953aa95f7f647ba12b2ec3297ab81f
Reviewed-on: https://review.coreboot.org/c/coreboot/+/72801
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
Diffstat (limited to 'src/mainboard/google/kahlee/Makefile.inc')
0 files changed, 0 insertions, 0 deletions