Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
changeset 61184 554bba935af1
parent 61160 12a72ca8329d
child 61521 9c6346319eee 
--- a/Admin/lib/Tools/makedist_bundle	Wed Sep 16 20:54:41 2015 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Wed Sep 16 21:26:37 2015 +0200
@@ -376,7 +376,7 @@
         cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
 
         ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \
-          "$APP/Contents/PlugIns/jdk"
+          "$APP/Contents/PlugIns/bundled.jdk"
 
         cp macos_app/JavaAppLauncher "$APP/Contents/MacOS/." && \
           chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
isabelle