From de77105df6a4a1615df64fd524d257276bfc0a0a Mon Sep 17 00:00:00 2001 From: Peter Barker Date: Fri, 2 Sep 2022 17:56:15 +1000 Subject: [PATCH] Tools: extract_features.py: include !FOUND features in output --- Tools/scripts/extract_features.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Tools/scripts/extract_features.py b/Tools/scripts/extract_features.py index 323c257223..e151082364 100755 --- a/Tools/scripts/extract_features.py +++ b/Tools/scripts/extract_features.py @@ -233,6 +233,7 @@ class ExtractFeatures(object): symbols = self.extract_symbols_from_elf(filename) + remaining_build_options_defines = build_options_defines for (feature_define, symbol) in self.features: some_dict = symbols.dict_for_symbol(symbol) # look for symbols without arguments @@ -253,6 +254,9 @@ class ExtractFeatures(object): if some_define not in build_options_defines: continue print(some_define) + remaining_build_options_defines.discard(some_define) + for remaining in sorted(remaining_build_options_defines): + print("!" + remaining) if __name__ == '__main__':