# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1365333976 -7200
# Node ID 4877c7dfe6d68ac4ebc7f516245c5c7c36c549ad
# Parent  51a8368d02315b31c77c9930ca085e7aea1be97e
Fix jdk creation check if db an man exist in source jdk not in the one we are creating

diff -r 51a8368d0231 -r 4877c7dfe6d6 mx/commands.py
--- 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: