blob: b4c1d12c3993db7fe85ba2bed17e95b43d40461c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- scilab/bin/scilab.old 2016-04-24 14:05:43.822800477 +0200
+++ scilab/bin/scilab 2016-04-24 14:06:19.996236250 +0200
@@ -438,7 +438,7 @@
# Browse "default directory" (if it means anything under Unix/Linux) of Java
# to find where it could be !
if test -z "$JAVA_HOME"; then
- JAVA_DEFAULT_DIR="/usr/java/jdk1.8.*/ /usr/lib/jvm/java-1.8.0-*/ /usr/lib/jvm/java-8-*/ /etc/alternatives/java_sdk /etc/alternatives/jre /usr/java/jdk*/ /usr/lib/jvm/java-*/"
+ JAVA_DEFAULT_DIR="/usr/lib/jvm/default/ /usr/java/jdk1.8.*/ /usr/lib/jvm/java-1.8.0-*/ /usr/lib/jvm/java-8-*/ /etc/alternatives/java_sdk /etc/alternatives/jre /usr/java/jdk*/ /usr/lib/jvm/java-*/"
for DIR in $JAVA_DEFAULT_DIR ; do
if test $SCIVERBOSE -ne 0; then
echo "Trying to find Java in $DIR "
|