make/conf/jib-profiles.js
changeset 54180 564043cbe138
parent 54148 62e4ada7c4c8
child 54288 c12b897021ea
equal deleted inserted replaced
54179:e81b44c68680 54180:564043cbe138
   953     var devkit_platform = (input.target_cpu == "x86"
   953     var devkit_platform = (input.target_cpu == "x86"
   954         ? input.target_os + "_x64"
   954         ? input.target_os + "_x64"
   955         : input.target_platform);
   955         : input.target_platform);
   956 
   956 
   957     var devkit_cross_prefix = "";
   957     var devkit_cross_prefix = "";
   958     if (input.target_platform != input.build_platform) {
   958     if (input.build_platform != input.target_platform
       
   959        && input.build_platform != devkit_platform) {
   959         devkit_cross_prefix = input.build_platform + "-to-";
   960         devkit_cross_prefix = input.build_platform + "-to-";
   960     }
   961     }
   961 
   962 
   962     var boot_jdk_platform = (input.build_os == "macosx" ? "osx" : input.build_os)
   963     var boot_jdk_platform = (input.build_os == "macosx" ? "osx" : input.build_os)
   963         + "-" + input.build_cpu;
   964         + "-" + input.build_cpu;