Lines Matching refs:ARCHIVE
44 # a prebuilt NDK archive (.zip file). empty means don't use any
57 # be copied into the archive.
517 # Create an archive for the final package. Extension depends on the
519 ARCHIVE=$BIN_RELEASE
521 ARCHIVE=`name64 $ARCHIVE`
523 ARCHIVE=$ARCHIVE-x86
527 ARCHIVE64="$ARCHIVE-64bit-tools.zip"
528 ARCHIVE="$ARCHIVE.zip"
531 ARCHIVE64="$ARCHIVE-64bit-tools.tar.bz2"
532 ARCHIVE="$ARCHIVE.tar.bz2"
535 echo "Creating $ARCHIVE"
540 pack_archive "$OUT_DIR/$ARCHIVE" "$TMPDIR" "$RELEASE_PREFIX"
541 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE"
544 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE64"
