On Fri, 13 Jan 2023 13:22:12 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> To be clear: If you are missing both $USER and `whoami`, and are not > explicitly setting a user name, configure should fail. But if you are missing > this and are using `--with-build-user`, then it succeeds. Yes, it behaves like this. I verified it in our dockers. Thanks @magicus for your review. ------------- PR: https://git.openjdk.org/jdk/pull/11983