lib/scripts/getsettings
changeset 74000 4313e6c9969a
parent 73992 fecbf83ab281
equal deleted inserted replaced
73999:6b213c0115f5 74000:4313e6c9969a
   127   export JAVA_HOME="$ISABELLE_JDK_HOME/jre"
   127   export JAVA_HOME="$ISABELLE_JDK_HOME/jre"
   128 else
   128 else
   129   export JAVA_HOME="$ISABELLE_JDK_HOME"
   129   export JAVA_HOME="$ISABELLE_JDK_HOME"
   130 fi
   130 fi
   131 
   131 
   132 ISABELLE_SETUP_CLASSPATH="$(isabelle_java java -jar "$(platform_path "$ISABELLE_SETUP_JAR")" classpath)"
   132 if [ -e "$ISABELLE_SETUP_JAR" ]; then
       
   133   ISABELLE_SETUP_CLASSPATH="$(isabelle_java java -jar "$(platform_path "$ISABELLE_SETUP_JAR")" classpath)"
       
   134 fi
   133 
   135 
   134 set +o allexport
   136 set +o allexport
   135 
   137 
   136 fi
   138 fi