diff options
| author | yaxing.chen <[email protected]> | 2021-03-05 17:13:18 +0800 |
|---|---|---|
| committer | yaxing.chen <[email protected]> | 2021-03-05 17:13:18 +0800 |
| commit | 762427bedc8a0109971456fb8059866e67de867d (patch) | |
| tree | 9bd304cec2b8bd469e58db82f07c3503fe5c354d /tools | |
| parent | 1ea5135a28f67a041f3f312b2678a1aa7e4c0d2f (diff) | |
bugfix:remove duplicate files in src list before DefineGroup
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/building.py | 2 |
1 files changed, 2 insertions, 0 deletions
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 |