# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1389127616 -3600
# Node ID 7cbd4f2194aa7f93c4608939ddb44af7455c3261
# Parent  dfb843a0a76d7af4cff17b21b9b39238d794b080
mx: omit weird logic to copy bootstrap jdk, just do cp -R

diff -r dfb843a0a76d -r 7cbd4f2194aa mx/mx_graal.py
--- a/mx/mx_graal.py	Tue Jan 07 22:40:02 2014 +0200
+++ b/mx/mx_graal.py	Tue Jan 07 21:46:56 2014 +0100
@@ -295,28 +295,9 @@
     jdk = join(_jdksDir(), build)
     if create:
         srcJdk = mx.java().jdk
-        jdkContentsDirectories = ['bin', 'include', 'jre', 'lib']
-        jdkContentsFiles = ['ASSEMBLY_EXCEPTION', 'COPYRIGHT', 'LICENSE', 'javafx-src.zip', 'README.html', 'release', 'src.zip', 'THIRDPARTYLICENSEREADME-JAVAFX.txt', 'THIRDPARTYLICENSEREADME.txt', 'THIRD_PARTY_README']
-        if exists(join(srcJdk, 'db')):
-            jdkContentsDirectories.append('db')
-        if mx.get_os() != 'windows' and exists(join(srcJdk, 'man')):
-            jdkContentsDirectories.append('man')
         if not exists(jdk):
             mx.log('Creating ' + jdk + ' from ' + srcJdk)
-            os.makedirs(jdk)
-            for d in jdkContentsDirectories:
-                src = join(srcJdk, d)
-                dst = join(jdk, d)
-                if not exists(src):
-                    mx.abort('Host JDK directory is missing: ' + src)
-                shutil.copytree(src, dst)
-            for f in jdkContentsFiles:
-                src = join(srcJdk, f)
-                if exists(src):
-                    dst = join(jdk, f)
-                    shutil.copyfile(src, dst)
-                elif mx._opts.verbose:
-                    mx.log('Host JDK file is missing: ' + src)
+            shutil.copytree(srcJdk, jdk)
 
             # Make a copy of the default VM so that this JDK can be
             # reliably used as the bootstrap for a HotSpot build.