Mercurial > hg > truffle
changeset 8885:4877c7dfe6d6
Fix jdk creation check if db an man exist in source jdk not in the one we are creating
author | Gilles Duboscq <duboscq@ssw.jku.at> |
---|---|
date | Sun, 07 Apr 2013 13:26:16 +0200 |
parents | 51a8368d0231 |
children | f69a72df4939 |
files | mx/commands.py |
diffstat | 1 files changed, 3 insertions(+), 3 deletions(-) [+] |
line wrap: on
line diff
--- a/mx/commands.py Sun Apr 07 13:30:37 2013 +0200 +++ b/mx/commands.py Sun Apr 07 13:26:16 2013 +0200 @@ -296,14 +296,14 @@ Get the JDK into which Graal is installed, creating it first if necessary. """ jdk = join(_graal_home, 'jdk' + str(mx.java().version), build) + srcJdk = mx.java().jdk jdkContents = ['bin', 'include', 'jre', 'lib'] - if exists(join(jdk, 'db')): + if exists(join(srcJdk, 'db')): jdkContents.append('db') - if mx.get_os() != 'windows' and exists(join(jdk, 'man')): + if mx.get_os() != 'windows' and exists(join(srcJdk, 'man')): jdkContents.append('man') if create: if not exists(jdk): - srcJdk = mx.java().jdk mx.log('Creating ' + jdk + ' from ' + srcJdk) os.makedirs(jdk) for d in jdkContents: