# HG changeset patch
# User Stefan Anzinger <stefan.anzinger@oracle.com>
# Date 1432717041 -7200
# Node ID 93d486d51ab48f91d8697d94793e208e01e44559
# Parent  12e3d0dfffeb37fe2636612e26bff9ce967217ba
Remove duplicate directories in distrule

diff -r 12e3d0dfffeb -r 93d486d51ab4 mx/mx_graal_makefile.py
--- a/mx/mx_graal_makefile.py	Wed May 27 10:18:54 2015 +0200
+++ b/mx/mx_graal_makefile.py	Wed May 27 10:57:21 2015 +0200
@@ -84,8 +84,9 @@
 """.format(**props)
 
 def createDistributionRule(dist):
-    depDirs = ' '.join(['$(TARGET)/' + i.name for i in dist.sorted_deps(False, True)])
-    depDirsStar = ' '.join(['$(TARGET)/' + i.name + '/*' for i in dist.sorted_deps(False, True)])
+    sorted_deps = set(dist.sorted_deps(False, True))
+    depDirs = ' '.join(['$(TARGET)/' + i.name for i in sorted_deps])
+    depDirsStar = ' '.join(['$(TARGET)/' + i.name + '/*' for i in sorted_deps])
     jarPath = os.path.relpath(dist.path, dist.suite.dir)
     jarDir = os.path.dirname(jarPath)
     props = {