make/conf/jib-profiles.js
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