Lines Matching refs:ARCHIVE
44 # a prebuilt NDK archive (.zip file). empty means don't use any
58 # be copied into the archive.
564 # Create an archive for the final package. Extension depends on the
566 ARCHIVE=$BIN_RELEASE
568 ARCHIVE=`name64 $ARCHIVE`
570 ARCHIVE=$ARCHIVE-x86
574 ARCHIVE64="$ARCHIVE-64bit-tools.zip"
575 ARCHIVE="$ARCHIVE.zip"
578 ARCHIVE64="$ARCHIVE-64bit-tools.tar.bz2"
579 ARCHIVE="$ARCHIVE.tar.bz2"
582 echo "Creating $ARCHIVE"
587 pack_archive "$OUT_DIR/$ARCHIVE" "$TMPDIR" "$RELEASE_PREFIX"
588 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE"
591 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE64"
