update java.library.path
Sebastian Reichel
12 years ago
15 | 15 | JAVA_CMDS="$JAVA_HOME/bin/java /usr/lib/jvm/java-6-sun/bin/java" |
16 | 16 | fi |
17 | 17 | |
18 | JAVA_OPTS="$JAVA_OPTS -Djava.net.preferIPv4Stack=true -Djava.net.useSystemProxies=true -Djava.library.path=/usr/lib/eclipse/debian-swt" | |
18 | JAVA_OPTS="$JAVA_OPTS -Djava.net.preferIPv4Stack=true -Djava.net.useSystemProxies=true -Djava.library.path=/usr/lib/jni" | |
19 | 19 | |
20 | 20 | for jcmd in $JAVA_CMDS; do |
21 | 21 | if [ "z$ALTERNATIVE_JDK" = "z`readlink -n -f $jcmd`" ] && [ -z "${JAVACMD}" ]; then |