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

Reply via email to