Fallback to /usr/lib/jvm if JAVA_HOME is not set
authorRuben Kerkhof <ruben@tilaa.nl>
Sun, 18 Nov 2012 10:38:24 +0000 (11:38 +0100)
committerMarc Fournier <marc.fournier@camptocamp.com>
Tue, 28 Apr 2015 05:38:35 +0000 (07:38 +0200)
commitfc6dcff7db47c2be34f84ce95e74dc46ad1fa22f
treeab0fdc6244b511b521e7826d56cd23a56d2482a7
parentef4a3db895a0aba7107c0f1c6c2ef2a7f128aaf8
Fallback to /usr/lib/jvm if JAVA_HOME is not set

This makes the java plugin build out of the box
on systems with a JDK installed.
/usr/lib/jvm is the default location for the JDK
on at least Fedora, Red Hat and Debian.
configure.in