--- 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