diff options
author | Simon Glass <sjg@chromium.org> | 2016-10-17 20:12:39 -0600 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2016-10-23 18:33:36 -0400 |
commit | 12ca05a38bd47b207a6e616e80f2ab0453faf527 (patch) | |
tree | f9ead4df64d5dc5de94e8f77f8b6cfbc9d48c128 /scripts | |
parent | 83302fb8f7ba3fa5dcd421bba93d0b37cdcb2f60 (diff) |
config: Drop CONFIG_CONSOLE_DEV
This is not really a config. Rename it to avoid confusion.
Signed-off-by: Simon Glass <sjg@chromium.org>
Reviewed-by: Tom Rini <trini@konsulko.com>
Reviewed-by: Jagan Teki <jteki@openedev.com>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/config_whitelist.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/config_whitelist.txt b/scripts/config_whitelist.txt index 9075e07e883..a4e6d10a2c6 100644 --- a/scripts/config_whitelist.txt +++ b/scripts/config_whitelist.txt @@ -673,7 +673,6 @@ CONFIG_COMMON_ENV_SETTINGS CONFIG_COMMON_ENV_UBI CONFIG_COMPACT_FLASH CONFIG_COMPAT -CONFIG_CONSOLE_DEV CONFIG_CONSOLE_EXTRA_INFO CONFIG_CONSOLE_INFO_QUIET CONFIG_CONSOLE_SCROLL_LINES |