changeset 49840 | 3a9721d4ccae |
parent 49839 | 45d0e40b07af |
child 49841 | b19ba23e70c5 |
1.1 --- a/Admin/java/settings Wed Aug 15 23:06:17 2012 +0200 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,10 +0,0 @@ 1.4 -# -*- shell-script -*- :mode=shellscript: 1.5 - 1.6 -case "$ISABELLE_PLATFORM" in 1.7 - *-darwin) 1.8 - ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)" 1.9 - ;; 1.10 - *) 1.11 - ISABELLE_JDK_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jdk1.6.0_31" 1.12 - ;; 1.13 -esac