Display JAVA_HOME value in "make java_version".

This can be useful for diagnostic purposes when using automated build systems.
This commit is contained in:
Vadim Zeitlin 2015-07-27 04:35:31 +02:00
commit e80d9eead6

View file

@ -616,6 +616,7 @@ java_run:
java_version:
$(JAVA) -version
$(JAVAC) -version || echo "Unknown javac version"
echo "JAVA_HOME=\"$(JAVA_HOME)\""
# -----------------------------------------------------------------
# Cleaning the java examples