changeset 58444 | 0aa2cdae73ce |
parent 55431 | 43627549a488 |
child 58558 | 67daaa6c8d2b |
--- 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