From 762427bedc8a0109971456fb8059866e67de867d Mon Sep 17 00:00:00 2001 From: "yaxing.chen" Date: Fri, 5 Mar 2021 17:13:18 +0800 Subject: [PATCH] bugfix:remove duplicate files in src list before DefineGroup --- tools/building.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/building.py b/tools/building.py index ba995af278..00a9f04107 100644 --- a/tools/building.py +++ b/tools/building.py @@ -626,6 +626,8 @@ def DefineGroup(name, src, depend, **parameters): group['name'] = name group['path'] = group_path if type(src) == type([]): + # remove duplicate elements from list + src = list(set(src)) group['src'] = File(src) else: group['src'] = src