Skip to content

Commit 762427b

Browse files
committed
bugfix:remove duplicate files in src list before DefineGroup
1 parent 1ea5135 commit 762427b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

tools/building.py

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -626,6 +626,8 @@ def DefineGroup(name, src, depend, **parameters):
626626
group['name'] = name
627627
group['path'] = group_path
628628
if type(src) == type([]):
629+
# remove duplicate elements from list
630+
src = list(set(src))
629631
group['src'] = File(src)
630632
else:
631633
group['src'] = src

0 commit comments

Comments
 (0)