Searched refs:ARCHIVE64 (Results 1 – 1 of 1) sorted by relevance
574 ARCHIVE64="$ARCHIVE-64bit-tools.zip"578 ARCHIVE64="$ARCHIVE-64bit-tools.tar.bz2"590 pack_archive "$OUT_DIR/$ARCHIVE64" "$TMPDIR/64" "${RELEASE_PREFIX}"591 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE64"