On Wed, 6 Mar 2024 13:57:37 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> I'm fine with this change. I wasn't around when this was introduced, but my > guess is that it was relevant back when Hotspot and the rest of the JDK were > often built separately. We have the username in the default $OPT string for > personal builds, so the HOTSPOT_BUILD_USER is just redundant information. > There is no reason to have the build user recorded in non personal builds. Thanks Erik. I'll leave this open a little longer for others to comment, but I also can't see a reason why this would be needed, especially in non-personal builds. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18136#issuecomment-1981126634
