equal
deleted
inserted
replaced
64 |
64 |
65 |
65 |
66 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz" |
66 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz" |
67 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE" |
67 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE" |
68 echo "heaps" |
68 echo "heaps" |
69 tar -C "$ISABELLE_HOME" -x -z -f "$HEAPS_ARCHIVE" |
69 tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE" |
70 |
70 |
71 |
71 |
72 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz" |
72 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz" |
73 |
73 |
74 echo "$(basename "$BUNDLE_ARCHIVE")" |
74 echo "$(basename "$BUNDLE_ARCHIVE")" |