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 33910 bae240a8bfe9
parent 33909 24a9d433eb7f
child 33950 0a77b979e593 
--- a/Admin/makedist	Fri Nov 27 22:38:22 2009 +0100
+++ b/Admin/makedist	Fri Nov 27 23:08:26 2009 +0100
@@ -93,7 +93,7 @@
 { wget -q "$REPOS/archive/${VERSION}.tar.gz" -O- | tar -xzf -; } || \
   fail "Failed to retrieve $VERSION"
 
-IDENT=$(echo * | sed 's/${REPOS_NAME}-//')
+IDENT=$(echo * | sed "s/${REPOS_NAME}-//")
 
 rm -f "${REPOS_NAME}-${IDENT}/.hg_archival.txt"
 rm -f "${REPOS_NAME}-${IDENT}/.hgtags"
isabelle