changeset 21504:93d486d51ab4

Remove duplicate directories in distrule
author Stefan Anzinger <stefan.anzinger@oracle.com>
date Wed, 27 May 2015 10:57:21 +0200
parents 12e3d0dfffeb
children f73ffccf4240 54933d47cfa4 31fc2fce38f3 e435b2fbd10e
files mx/mx_graal_makefile.py
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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 = {