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