Re: [PATCH v6 02/21] binman: Avoid duplicates in bintool lists

On Fri, 19 Aug 2022 at 08:26, Stefan Herbrechtsmeier stefan.herbrechtsmeier-oss@weidmueller.com wrote:

From: Stefan Herbrechtsmeier stefan.herbrechtsmeier@weidmueller.com

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

---

(no changes since v5)

Changes in v5:

• Add commit to avoid duplicates in bintool lists

tools/binman/entry.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-)

Reviewed-by: Simon Glass sjg@chromium.org