binman: Avoid duplicates in bintool lists
Avoid duplicate entries in the list of bintools used by the image and
the list of missing bintools.
Signed-off-by: Stefan Herbrechtsmeier <stefan.herbrechtsmeier@weidmueller.com>
Reviewed-by: Simon Glass <sjg@chromium.org>
diff --git a/tools/binman/entry.py b/tools/binman/entry.py
index d413c91..1795d5c 100644
--- a/tools/binman/entry.py
+++ b/tools/binman/entry.py
@@ -1081,7 +1081,8 @@
Args:
bintool (Bintool): Bintool that was missing
"""
- self.missing_bintools.append(bintool)
+ if bintool not in self.missing_bintools:
+ self.missing_bintools.append(bintool)
def check_missing_bintools(self, missing_list):
"""Check if any entries in this section have missing bintools
@@ -1091,7 +1092,10 @@
Args:
missing_list: List of Bintool objects to be added to
"""
- missing_list += self.missing_bintools
+ for bintool in self.missing_bintools:
+ if bintool not in missing_list:
+ missing_list.append(bintool)
+
def GetHelpTags(self):
"""Get the tags use for missing-blob help