Lines Matching refs:ARCHIVE
44 # a prebuilt NDK archive (.zip file). empty means don't use any
58 # be copied into the archive.
568 # Create an archive for the final package. Extension depends on the
570 ARCHIVE=$BIN_RELEASE
572 ARCHIVE=`name64 $ARCHIVE`
574 ARCHIVE=$ARCHIVE-x86
578 ARCHIVE64="${ARCHIVE}_64.zip"
579 ARCHIVE="$ARCHIVE.zip"
582 ARCHIVE64="${ARCHIVE}_64.tar.bz2"
583 ARCHIVE="$ARCHIVE.tar.bz2"
587 ARCHIVE=$ARCHIVE64
589 echo "Creating $ARCHIVE"
594 pack_archive "$OUT_DIR/$ARCHIVE" "$TMPDIR" "$RELEASE_PREFIX"
595 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE"
598 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE64"
