# HG changeset patch
# User wenzelm
# Date 1259359706 -3600
# Node ID bae240a8bfe97a1c3036f55b5bfdab32433a8298
# Parent  24a9d433eb7f4d67812d399bbef7d74e13588fa7
proper quotes;

diff -r 24a9d433eb7f -r bae240a8bfe9 Admin/makedist
--- 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"