Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ISABELLE_JAVA_EXT is obsolete;
authorwenzelm
Mon, 27 Oct 2014 16:00:04 +0100
changeset 58790 a42a5129df91
parent 58789 387f65e69dd5
child 58791 00916b0dd596
ISABELLE_JAVA_EXT is obsolete; no censorship of ISABELLE_JDK_HOME;
Admin/java/build file | annotate | diff | comparison | revisions 
--- a/Admin/java/build	Mon Oct 27 12:21:24 2014 +0100
+++ b/Admin/java/build	Mon Oct 27 16:00:04 2014 +0100
@@ -57,15 +57,6 @@
     ISABELLE_JDK_HOME="\$COMPONENT/\${ISABELLE_PLATFORM64:-\$ISABELLE_PLATFORM32}"
     ;;
 esac
-
-if [ -n "\$ISABELLE_JDK_HOME" ]; then
-  if [ -d "\$ISABELLE_JDK_HOME" ]; then
-    ISABELLE_JAVA_EXT="\${ISABELLE_JDK_HOME}/jre/lib/ext"
-  else
-    echo "### Missing Java platform directory: \"\$ISABELLE_JDK_HOME\"" >&2
-    unset ISABELLE_JDK_HOME
-  fi
-fi
 EOF
isabelle