diff options
author | Patrick Rudolph <patrick.rudolph@9elements.com> | 2022-03-22 08:33:40 +0100 |
---|---|---|
committer | Felix Held <felix-coreboot@felixheld.de> | 2022-03-31 14:20:44 +0000 |
commit | 05ca05466c3a4d8c27b6fca70782095bd47ea887 (patch) | |
tree | 029a4ca93b3f32eb8d051afec9bd0aec0edf2200 /util/lint/lint-007-checkpatch | |
parent | dcf30e837b35bbf698231c8a27fd66cdf966fb36 (diff) |
Kconfig: Select UDK2017
On platforms using UDK2015 select UDK2017 instead.
This allows to drop UDK2015 headers.
Tested using timeless builds: The produced binaries are identical.
Change-Id: Ia6032c6520ec889cd63655db982d9bfa476dc24d
Signed-off-by: Patrick Rudolph <patrick.rudolph@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62984
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Diffstat (limited to 'util/lint/lint-007-checkpatch')
0 files changed, 0 insertions, 0 deletions