[jlm] 06/06: add some warnings to detect strange user settings

[Martin Quinson]

This is an automated email from the git hooks/post-receive script.

mquinson pushed a commit to branch debian-debian
in repository jlm.

commit 812f0562a42986a91cbff808f5d5319e743ecf34
Author: Martin Quinson <martin.quinson at loria.fr>
Date:   Sun Sep 8 21:16:51 2013 +0200

    add some warnings to detect strange user settings
---
 debian/plm.sh |    8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/debian/plm.sh b/debian/plm.sh
index 712d2d9..9f7775f 100755
--- a/debian/plm.sh
+++ b/debian/plm.sh
@@ -6,6 +6,14 @@
 # Jython compiles java bytecode into python bytecode in advance; it needs a user-writable directory to cache it
 export JYTHON_OPTS="${JYTHON_OPTS} -Dpython.cachedir=${HOME}/.jython_cachedir"
 
+if [ -n "$JAVA_HOME" ] ; then
+	echo "Your JAVA_HOME is set to $JAVA_HOME. Please make sure that this points to a Java7 runtime"
+fi	
+
+if [ -n "$JAVA_CMD" ] ; then
+	echo "Your JAVA_CMD is set to $JAVA_CMD. Please make sure that this points to a Java7 runtime"
+fi	
+
 find_java_runtime openjdk7
 
 find_jars /usr/share/java/plm.jar

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jlm.git