diff options
| -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 |