From 50dced88ff1aed23bb4c8fe9e4a08e6cc200b897 Mon Sep 17 00:00:00 2001
From: Mikael Vidstedt <mikael@openjdk.org>
Date: Mon, 12 May 2025 16:31:24 +0000
Subject: [PATCH] 8356656: Drop unused DEVKIT_HOME from jib-profiles.js

Reviewed-by: erikj
---
 make/conf/jib-profiles.js | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/make/conf/jib-profiles.js b/make/conf/jib-profiles.js
index 30b857f6591..c2ae584c417 100644
--- a/make/conf/jib-profiles.js
+++ b/make/conf/jib-profiles.js
@@ -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: {