bin/isabelle_java
changeset 64022 3c0193f82d20
parent 63995 2e4d80723fb0
child 64035 90017a182892
equal deleted inserted replaced
64021:1e23caac8757 64022:3c0193f82d20
    62 
    62 
    63   if [ -z "$JAVA_HOME" ]; then
    63   if [ -z "$JAVA_HOME" ]; then
    64     echo "Unknown JAVA_HOME -- Java unavailable" >&2
    64     echo "Unknown JAVA_HOME -- Java unavailable" >&2
    65     exit 127
    65     exit 127
    66   else
    66   else
       
    67     unset ISABELLE_HOME
    67     unset CLASSPATH
    68     unset CLASSPATH
    68     exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" -classpath "$ISABELLE_CLASSPATH" "$@"
    69     exec "$JAVA_HOME/bin/java" "${JAVA_ARGS[@]}" -classpath "$ISABELLE_CLASSPATH" "$@"
    69   fi
    70   fi
    70 }
    71 }