diff options
author | Patrick Georgi <pgeorgi@google.com> | 2020-11-11 10:50:49 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2021-01-06 16:27:59 +0000 |
commit | c9a9f839cb299d26de70a6c0f1fbcb8be7aa4f0c (patch) | |
tree | 0c825e461409f83ff9f52961996f4954915687f7 /Makefile.inc | |
parent | 99289a89a3e4bb1376340a56de4ae03a1596de5d (diff) |
util/testing: Build test more of our tools
https://qa.coreboot.org/job/untested-coreboot-files reports a bunch of
untouched Makefiles, so we never even attempt to build those tools.
Change-Id: I70ca658d9642b84fa8388c72ecb83327a6a74291
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/47446
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Reviewed-by: Felix Singer <felixsinger@posteo.net>
Diffstat (limited to 'Makefile.inc')
0 files changed, 0 insertions, 0 deletions