8231505: Bump required boot jdk version to 13
authorerikj
Wed, 02 Oct 2019 10:04:46 -0700
changeset 58444 0aa2cdae73ce
parent 58443 ed0058d06107
child 58446 5c83830390ba
8231505: Bump required boot jdk version to 13 Reviewed-by: darcy, ihse
make/autoconf/version-numbers
make/conf/jib-profiles.js
--- a/make/autoconf/version-numbers	Wed Oct 02 07:50:06 2019 -0700
+++ b/make/autoconf/version-numbers	Wed Oct 02 10:04:46 2019 -0700
@@ -35,7 +35,7 @@
 DEFAULT_VERSION_DATE=2020-03-17
 DEFAULT_VERSION_CLASSFILE_MAJOR=58  # "`$EXPR $DEFAULT_VERSION_FEATURE + 44`"
 DEFAULT_VERSION_CLASSFILE_MINOR=0
-DEFAULT_ACCEPTABLE_BOOT_VERSIONS="12 13 14"
+DEFAULT_ACCEPTABLE_BOOT_VERSIONS="13 14"
 DEFAULT_JDK_SOURCE_TARGET_VERSION=14
 DEFAULT_PROMOTED_VERSION_PRE=ea
 
--- a/make/conf/jib-profiles.js	Wed Oct 02 07:50:06 2019 -0700
+++ b/make/conf/jib-profiles.js	Wed Oct 02 10:04:46 2019 -0700
@@ -365,7 +365,7 @@
         };
     };
 
-    common.boot_jdk_version = "12";
+    common.boot_jdk_version = "13";
     common.boot_jdk_build_number = "33";
     common.boot_jdk_home = input.get("boot_jdk", "install_path") + "/jdk-"
         + common.boot_jdk_version