infernap12/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2026-01-28 12:09:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

8356656: Drop unused DEVKIT_HOME from jib-profiles.js

Browse Source 
Reviewed-by: erikj
This commit is contained in:
Mikael Vidstedt 2025-05-12 16:31:24 +00:00
parent e463895428
commit 50dced88ff
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
make/conf/jib-profiles.js
View File

@ -1152,10 +1152,7 @@ var getJibProfilesDependencies = function (input, common) {
organization: common.organization,
ext: "tar.gz",
module: "devkit-" + devkit_cross_prefix + devkit_platform,
revision: devkit_platform_revisions[devkit_platform],
environment: {
"DEVKIT_HOME": input.get("devkit", "home_path"),
}
revision: devkit_platform_revisions[devkit_platform]
},
build_devkit: {