Admin/makedist
changeset 33926 bae240a8bfe9
parent 33925 24a9d433eb7f
child 33950 0a77b979e593
equal deleted inserted replaced
33925:24a9d433eb7f 33926:bae240a8bfe9
    91 echo "###"
    91 echo "###"
    92 
    92 
    93 { wget -q "$REPOS/archive/${VERSION}.tar.gz" -O- | tar -xzf -; } || \
    93 { wget -q "$REPOS/archive/${VERSION}.tar.gz" -O- | tar -xzf -; } || \
    94   fail "Failed to retrieve $VERSION"
    94   fail "Failed to retrieve $VERSION"
    95 
    95 
    96 IDENT=$(echo * | sed 's/${REPOS_NAME}-//')
    96 IDENT=$(echo * | sed "s/${REPOS_NAME}-//")
    97 
    97 
    98 rm -f "${REPOS_NAME}-${IDENT}/.hg_archival.txt"
    98 rm -f "${REPOS_NAME}-${IDENT}/.hg_archival.txt"
    99 rm -f "${REPOS_NAME}-${IDENT}/.hgtags"
    99 rm -f "${REPOS_NAME}-${IDENT}/.hgtags"
   100 rm -f "${REPOS_NAME}-${IDENT}/.hgignore"
   100 rm -f "${REPOS_NAME}-${IDENT}/.hgignore"
   101 rm -f "${REPOS_NAME}-${IDENT}/README_REPOSITORY"
   101 rm -f "${REPOS_NAME}-${IDENT}/README_REPOSITORY"