diff options
| author | Simon Glass | 2019-07-20 20:51:20 -0600 |
|---|---|---|
| committer | Tom Rini | 2019-08-02 11:19:14 -0400 |
| commit | 2452bb7636beb5eeae29185518a899349289c609 (patch) | |
| tree | b9e58f04a7a20d3ad9fd64b94caa4f9924c5e265 /scripts | |
| parent | e79e4b250af3c714cfa9aecb2cf5165443429210 (diff) | |
autoboot: Drop unused CONFIG_MENUPROMPT
This is not defined by any board. We could use CONFIG_AUTOBOOT_PROMPT
instead perhaps, but this depends on CONFIG_AUTOBOOT_KEYED which is not
used for the single-key case.
So let's just remove CONFIG_MENUPROMPT.
Signed-off-by: Simon Glass <sjg@chromium.org>
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 d06e2d2c23c..28494411feb 100644 --- a/scripts/config_whitelist.txt +++ b/scripts/config_whitelist.txt @@ -1141,7 +1141,6 @@ CONFIG_MEM_HOLE_16M CONFIG_MEM_INIT_VALUE CONFIG_MEM_REMAP CONFIG_MENUKEY -CONFIG_MENUPROMPT CONFIG_MENU_SHOW CONFIG_MFG_ENV_SETTINGS CONFIG_MIIM_ADDRESS |