# HG changeset patch
# User erikj
# Date 1570035886 25200
# Node ID 0aa2cdae73cea2bf7c91b648b1a93ce8106f4b38
# Parent  ed0058d0610731d4ed4e47419c713b0f7c956a40
8231505: Bump required boot jdk version to 13
Reviewed-by: darcy, ihse

diff -r ed0058d06107 -r 0aa2cdae73ce make/autoconf/version-numbers
--- 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
 
diff -r ed0058d06107 -r 0aa2cdae73ce make/conf/jib-profiles.js
--- 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