author | erikj |
Mon, 18 Mar 2019 17:33:59 +0100 (2019-03-18) | |
changeset 54180 | 564043cbe138 |
parent 54179 | e81b44c68680 |
child 54181 | d265655be483 |
--- a/make/conf/jib-profiles.js Mon Mar 18 16:33:28 2019 +0100 +++ b/make/conf/jib-profiles.js Mon Mar 18 17:33:59 2019 +0100 @@ -955,7 +955,8 @@ : input.target_platform); var devkit_cross_prefix = ""; - if (input.target_platform != input.build_platform) { + if (input.build_platform != input.target_platform + && input.build_platform != devkit_platform) { devkit_cross_prefix = input.build_platform + "-to-"; }