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.
more robust bash interpolation;
authorwenzelm
Sun, 18 Mar 2012 22:09:00 +0100
changeset 47011 1d8601c642cc
parent 47010 ceba98191816
child 47012 0e246130486b
child 47015 7e2c4da9ac7d
child 47017 f547bd4811b0
more robust bash interpolation;
Admin/makedist file | annotate | diff | comparison | revisions 
--- 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