0b2143107d
JAVA_VERSION and JAVA_OS values so that no wrong JDK can be picked up by javavm(1). PR: 86860 Discussed with: Panagiotis Astithas <past@ebs.gr> |
||
---|---|---|
.. | ||
files | ||
scripts | ||
distinfo | ||
Makefile | ||
pkg-descr |
0b2143107d
JAVA_VERSION and JAVA_OS values so that no wrong JDK can be picked up by javavm(1). PR: 86860 Discussed with: Panagiotis Astithas <past@ebs.gr> |
||
---|---|---|
.. | ||
files | ||
scripts | ||
distinfo | ||
Makefile | ||
pkg-descr |