Mercurial > hg > truffle

changeset 8885:4877c7dfe6d6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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: