diff options
| author | Adam Ford <aford173@gmail.com> | 2020-07-03 09:06:36 -0500 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2020-07-28 16:18:10 -0400 |
| commit | 6a411dd0d25f81301b30cb54a359acbfaa751591 (patch) | |
| tree | ad61d801ffc7b0e6673d331d804b830c1fd3fffd /scripts/config_whitelist.txt | |
| 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/config_whitelist.txt')
| -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 665c906745..82de978f30 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 |