diff --git a/Examples/Makefile.in b/Examples/Makefile.in index 6ba9dac12..aea834625 100644 --- a/Examples/Makefile.in +++ b/Examples/Makefile.in @@ -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