make/conf/jib-profiles.js
changeset 58444 0aa2cdae73ce
parent 55431 43627549a488
child 58558 67daaa6c8d2b
equal deleted inserted replaced
58443:ed0058d06107 58444:0aa2cdae73ce
   363                 },
   363                 },
   364             }
   364             }
   365         };
   365         };
   366     };
   366     };
   367 
   367 
   368     common.boot_jdk_version = "12";
   368     common.boot_jdk_version = "13";
   369     common.boot_jdk_build_number = "33";
   369     common.boot_jdk_build_number = "33";
   370     common.boot_jdk_home = input.get("boot_jdk", "install_path") + "/jdk-"
   370     common.boot_jdk_home = input.get("boot_jdk", "install_path") + "/jdk-"
   371         + common.boot_jdk_version
   371         + common.boot_jdk_version
   372         + (input.build_os == "macosx" ? ".jdk/Contents/Home" : "");
   372         + (input.build_os == "macosx" ? ".jdk/Contents/Home" : "");
   373 
   373