RFR: 8356656: Drop unused DEVKIT_HOME from jib-profiles.js [v2]
Mikael Vidstedt
mikael at openjdk.org
Mon May 12 15:09:10 UTC 2025
> The DEVKIT_HOME environment variable gets set up in jib-profiles.js but the last use of it was removed in [JDK-8264805](https://bugs.openjdk.org/browse/JDK-8264805).
>
> Testing: tier1,builds-tier[2-5]
Mikael Vidstedt has updated the pull request incrementally with one additional commit since the last revision:
Remove accidentally added server.log files
-------------
Changes:
- all: https://git.openjdk.org/jdk/pull/25159/files
- new: https://git.openjdk.org/jdk/pull/25159/files/63ffcfc5..df72d5be
Webrevs:
- full: https://webrevs.openjdk.org/?repo=jdk&pr=25159&range=01
- incr: https://webrevs.openjdk.org/?repo=jdk&pr=25159&range=00-01
Stats: 14 lines in 2 files changed: 0 ins; 14 del; 0 mod
Patch: https://git.openjdk.org/jdk/pull/25159.diff
Fetch: git fetch https://git.openjdk.org/jdk.git pull/25159/head:pull/25159
PR: https://git.openjdk.org/jdk/pull/25159
More information about the build-dev
mailing list