diff options
author | Nico Huber <nico.huber@secunet.com> | 2019-04-26 15:11:42 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-04-29 12:15:15 +0000 |
commit | 91ead42f4bcfcc41190876343ab1cae2c35fb846 (patch) | |
tree | df0a78b3446a877ef4eef6035c41f822e8409562 /util/lint/lint-stable-012-executable-bit | |
parent | c056729bfdc30eab6ae3729c7ce2a6d58be16604 (diff) |
Makefile: Check for errors in ACPI decompilation, too
We only grep'ed for "ACPI Warning" resulting in an actual more severe
"ACPI Error" being ignored.
Change-Id: I9cec8a388f5558b1ffc383cc2fc69405252cbb37
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/32469
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Frans Hendriks <fhendriks@eltan.com>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/lint-stable-012-executable-bit')
0 files changed, 0 insertions, 0 deletions