diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2015-04-07 13:49:32 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-04-08 09:32:19 +0200 |
commit | 94e4d81d073caeb3ac4b8fd0bbe20df9f98a2161 (patch) | |
tree | 02e571743683b718577b023dd9f9e1fbbb6722eb /src/drivers/ipmi/Kconfig | |
parent | 7a453ebed2b87780100391b7ab78d41337890a66 (diff) |
console: fix Kconfig uses
While upstreaming, some old (or downstream) names sneaked in.
Change-Id: I148fd8f46bc88c38ce1f62efe5771555bd5dcc5c
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: http://review.coreboot.org/9350
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'src/drivers/ipmi/Kconfig')
0 files changed, 0 insertions, 0 deletions