what jdk for build?

[Terrence Enger]

On Tue, 2019-12-17 at 08:16 +0100, Stephan Bergmann wrote:
> On 16/12/2019 19:24, Terrence Enger wrote:
> > By completely omitting --with-jdk-home from autogen.input, I get a
> > successful build.  configure complains that JAVA_HOME is not set, but
> > the build continues.
> 
> You mean some
> 
> > * WARNING : JAVA_HOME was not explicitly informed with --with-jdk-home. the configure script
> > * WARNING : attempted to find JAVA_HOME automatically, but apparently it failed
> > * WARNING : in case JAVA_HOME is incorrectly set, some projects will not be built correctly
> 
> when the determined JAVA_HOME is Java 9 or newer?

Yes, that is what provoked me to start looking at this.

> <https://gerrit.libreoffice.org/#/c/85257/> "Remove dated check for jre 
> sub-dir in JDK" should fix that.

Thank you.  I shall look for the warning to be gone when I next build
for Android.

Meanwhile, I have removed --with-jdk-home, and the build goes to
completion.