# HG changeset patch
# User Bernhard Urban <bernhard.urban@jku.at>
# Date 1389127202 -7200
# Node ID dfb843a0a76d7af4cff17b21b9b39238d794b080
# Parent  137142009b0b474a972d85652cf9bf7d46922911
mx: make copying files from bootstrap jdk optional

additionally, add some files which appears in OpenJDK builds

diff -r 137142009b0b -r dfb843a0a76d mx/mx_graal.py
--- a/mx/mx_graal.py	Tue Jan 07 19:48:22 2014 +0200
+++ b/mx/mx_graal.py	Tue Jan 07 22:40:02 2014 +0200
@@ -296,13 +296,11 @@
     if create:
         srcJdk = mx.java().jdk
         jdkContentsDirectories = ['bin', 'include', 'jre', 'lib']
-        jdkContentsFiles = ['COPYRIGHT', 'LICENSE', 'README.html', 'release', 'src.zip', 'THIRDPARTYLICENSEREADME-JAVAFX.txt', 'THIRDPARTYLICENSEREADME.txt']
+        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 exists(join(srcJdk, 'javafx-src.zip')):
-            jdkContentsFiles.append('javafx-src.zip')
         if not exists(jdk):
             mx.log('Creating ' + jdk + ' from ' + srcJdk)
             os.makedirs(jdk)
@@ -314,10 +312,11 @@
                 shutil.copytree(src, dst)
             for f in jdkContentsFiles:
                 src = join(srcJdk, f)
-                dst = join(jdk, f)
-                if not exists(src):
-                    mx.abort('Host JDK file is missing: ' + src)
-                shutil.copyfile(src, dst)
+                if exists(src):
+                    dst = join(jdk, f)
+                    shutil.copyfile(src, dst)
+                elif mx._opts.verbose:
+                    mx.log('Host JDK file is missing: ' + src)
 
             # Make a copy of the default VM so that this JDK can be
             # reliably used as the bootstrap for a HotSpot build.