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.
proper volume name, such that background image is found in /Volumes/Isabelle/.background;
authorwenzelm
Fri, 25 Jul 2014 14:47:38 +0200
changeset 57682 648c5ef4876d
parent 57681 aabfd69ab754
child 57683 cc0aa6528890
proper volume name, such that background image is found in /Volumes/Isabelle/.background;
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_bundle	Fri Jul 25 14:16:39 2014 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Fri Jul 25 14:47:38 2014 +0200
@@ -306,7 +306,7 @@
         rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
 
         cd dmg
-        hdiutil create -srcfolder . -volname "$ISABELLE_NAME" "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
+        hdiutil create -srcfolder . -volname Isabelle "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
       )
       ;;
     windows)
isabelle