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]