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.
updated for release;
authorwenzelm
Fri, 14 Jan 2011 18:23:39 +0100
changeset 41555 178fdd4cca46
parent 41554 6a515ace714b
child 41556 f55d564e0521
updated for release;
Admin/makebundle file | annotate | diff | comparison | revisions 
--- a/Admin/makebundle	Fri Jan 14 17:20:36 2011 +0100
+++ b/Admin/makebundle	Fri Jan 14 18:23:39 2011 +0100
@@ -72,7 +72,7 @@
 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
 
 echo "$(basename "$BUNDLE_ARCHIVE")"
-tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" Isabelle "$ISABELLE_NAME"
+tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME"
 
 
 # clean up
isabelle