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/makedist
changeset 47011 1d8601c642cc
parent 47010 ceba98191816
child 47739 19b914b7ac23 
--- a/Admin/makedist	Sun Mar 18 22:06:37 2012 +0100
+++ b/Admin/makedist	Sun Mar 18 22:09:00 2012 +0100
@@ -6,7 +6,7 @@
 
 REPOS_NAME="isabelle"
 REPOS="${REPOS:-http://isabelle.in.tum.de/repos/${REPOS_NAME}}"
-DISTPREFIX="${DISTPREFIX:-~/tmp/isadist}"
+DISTPREFIX="${DISTPREFIX:-$HOME/tmp/isadist}"
 
 umask 022
isabelle