diff mx/mx_graal.py @ 15844:d1822a8fe26f

minor cleanups
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Wed, 21 May 2014 22:44:46 -0700
parents f0127716b881
children 283c8d31c560
line wrap: on
line diff
--- a/mx/mx_graal.py	Wed May 21 22:22:06 2014 -0700
+++ b/mx/mx_graal.py	Wed May 21 22:44:46 2014 -0700
@@ -690,7 +690,7 @@
             mustBuild = False
             timestamp = os.path.getmtime(timestampFile)
             sources = []
-            for d in ['src', 'make', 'graal/com.oracle.graal.hotspot/src_gen/hotspot']:
+            for d in ['src', 'make', join('graal', 'com.oracle.graal.hotspot', 'src_gen', 'hotspot')]:
                 for root, dirnames, files in os.walk(join(_graal_home, d)):
                     # ignore <graal>/src/share/tools
                     if root == join(_graal_home, 'src', 'share'):