소스 검색

bugfix:remove duplicate files in src list before DefineGroup

yaxing.chen 4 년 전
부모
커밋
762427bedc
1개의 변경된 파일2개의 추가작업 그리고 0개의 파일을 삭제
  1. 2 0
      tools/building.py

+ 2 - 0
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