diff options
| author | Arthur Heymans <arthur@aheymans.xyz> | 2019-11-04 09:33:04 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2020-03-03 07:45:23 +0000 |
| commit | 8e9801380b57bb76bdc2a1f71e48c1605f881d3e (patch) | |
| tree | 822c30459f533f94d57af8be62c9c3a9193b6f12 /util/lint/lint-000-license-headers | |
| parent | 2f3c37bd6266dba75498f1f629d42a2886dbc756 (diff) | |
Kconfig: Have GDB_STUB depend on DRIVERS_UART
There is no reason to hide the GDB_STUB option when CONSOLE_SERIAL is
not set.
Change-Id: Icbf9a1ac0e617939cafa3d66774bbd467dc01cbc
Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/36604
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'util/lint/lint-000-license-headers')
0 files changed, 0 insertions, 0 deletions