Mercurial > hg > graal-jvmci-8
comparison 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 |
comparison
equal
deleted
inserted
replaced
15843:747bc4099ad8 | 15844:d1822a8fe26f |
---|---|
688 mustBuild = True | 688 mustBuild = True |
689 else: | 689 else: |
690 mustBuild = False | 690 mustBuild = False |
691 timestamp = os.path.getmtime(timestampFile) | 691 timestamp = os.path.getmtime(timestampFile) |
692 sources = [] | 692 sources = [] |
693 for d in ['src', 'make', 'graal/com.oracle.graal.hotspot/src_gen/hotspot']: | 693 for d in ['src', 'make', join('graal', 'com.oracle.graal.hotspot', 'src_gen', 'hotspot')]: |
694 for root, dirnames, files in os.walk(join(_graal_home, d)): | 694 for root, dirnames, files in os.walk(join(_graal_home, d)): |
695 # ignore <graal>/src/share/tools | 695 # ignore <graal>/src/share/tools |
696 if root == join(_graal_home, 'src', 'share'): | 696 if root == join(_graal_home, 'src', 'share'): |
697 dirnames.remove('tools') | 697 dirnames.remove('tools') |
698 sources += [join(root, name) for name in files] | 698 sources += [join(root, name) for name in files] |