diff options
author | Adam Ford | 2020-07-03 09:06:36 -0500 |
---|---|---|
committer | Tom Rini | 2020-07-28 16:18:10 -0400 |
commit | 6a411dd0d25f81301b30cb54a359acbfaa751591 (patch) | |
tree | ad61d801ffc7b0e6673d331d804b830c1fd3fffd /scripts | |
parent | 3275f26bb6cda9e24966423460e74281e1a71888 (diff) |
configs: Remove dead CONFIG options
BOOTP_DEFAULT is defined in several boards, but this config
option is never checked or used.
This patch removes this config option from config files and
the whitelist.txt
Signed-off-by: Adam Ford <aford173@gmail.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 665c9067454..82de978f30d 100644 --- a/scripts/config_whitelist.txt +++ b/scripts/config_whitelist.txt @@ -123,7 +123,6 @@ CONFIG_BOOTMODE CONFIG_BOOTP_ CONFIG_BOOTP_BOOTFILE CONFIG_BOOTP_BOOTFILESIZE -CONFIG_BOOTP_DEFAULT CONFIG_BOOTP_DHCP_REQUEST_DELAY CONFIG_BOOTP_ID_CACHE_SIZE CONFIG_BOOTP_MAY_FAIL |