| changeset 27725 | 6d133c2b681f |
| parent 27654 | 0f8e2dcabbf9 |
| child 28002 | 95bd956c476c |
| 27724:0cc30a837f26 | 27725:6d133c2b681f |
|---|---|
4 # |
4 # |
5 # makedist_mercurial -- make Isabelle source distribution (via Mercurial) |
5 # makedist_mercurial -- make Isabelle source distribution (via Mercurial) |
6 |
6 |
7 ## global settings |
7 ## global settings |
8 |
8 |
9 REPOS="http://isabelle.in.tum.de/isabelle-bin/mercurial.cgi" |
9 REPOS="http://isabelle.in.tum.de/repos/isabelle" |
10 |
10 |
11 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist} |
11 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist} |
12 |
12 |
13 umask 022 |
13 umask 022 |
14 |
14 |