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 target directory;
authorwenzelm
Mon, 07 Jun 2010 17:50:57 +0200
changeset 37357 b7a55231065a
parent 37356 4f79bb1aaf50
child 37360 a2cde14de400
proper target directory;
Admin/makebundle file | annotate | diff | comparison | revisions 
--- a/Admin/makebundle	Mon Jun 07 17:50:40 2010 +0200
+++ b/Admin/makebundle	Mon Jun 07 17:50:57 2010 +0200
@@ -66,7 +66,7 @@
 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz"
 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"
 echo "heaps"
-tar -C "$ISABELLE_HOME" -x -z -f "$HEAPS_ARCHIVE"
+tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
 
 
 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
isabelle