# HG changeset patch
# User wenzelm
# Date 1295025819 -3600
# Node ID 178fdd4cca46964987b36714c63d227ce344974e
# Parent  6a515ace714b3437135ba0b5af5f6d7251b1dee0
updated for release;

diff -r 6a515ace714b -r 178fdd4cca46 Admin/makebundle
--- 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