diff options
Diffstat (limited to 'util/config_option_check.py')
| -rwxr-xr-x | util/config_option_check.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/util/config_option_check.py b/util/config_option_check.py index 29e8fb8611..8bd8ecb1f0 100755 --- a/util/config_option_check.py +++ b/util/config_option_check.py @@ -66,11 +66,11 @@ ALLOWLIST_CONFIGS = ['CONFIG_ZTEST'] def obtain_current_config_options(): """Obtains current config options from include/config.h. - Scans through the master config file defined in CONFIG_FILE for all CONFIG_* + Scans through the main config file defined in CONFIG_FILE for all CONFIG_* options. Returns: - config_options: A list of all the config options in the master CONFIG_FILE. + config_options: A list of all the config options in the main CONFIG_FILE. """ config_options = [] @@ -148,11 +148,11 @@ def print_missing_config_options(hunks, config_options): Args: hunks: A list of Hunk objects which represent the hunks from the git diff output. - config_options: A list of all the config options in the master CONFIG_FILE. + config_options: A list of all the config options in the main CONFIG_FILE. Returns: missing_config_option: A boolean indicating if any CONFIG_* options - are missing from the master CONFIG_FILE in this commit or if any CONFIG_* + are missing from the main CONFIG_FILE in this commit or if any CONFIG_* options removed are no longer being used in the repo. """ missing_config_option = False |