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 quotes;
authorwenzelm
Fri, 27 Nov 2009 23:08:26 +0100
changeset 33910 bae240a8bfe9
parent 33909 24a9d433eb7f
child 33911 7c1764342cc8
proper quotes;
Admin/makedist file | annotate | diff | comparison | revisions 
--- 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