Searched refs:ARCHIVE (Results 1 – 5 of 5) sorted by relevance
599 local ARCHIVE="$1"610 case "$ARCHIVE" in612 (cd $DIR && run unzip $ZIPFLAGS "$ARCHIVE")615 run tar $TARFLAGS "$ARCHIVE" -C $DIR618 run tar z$TARFLAGS "$ARCHIVE" -C $DIR621 run tar j$TARFLAGS "$ARCHIVE" -C $DIR624 panic "Cannot unpack archive with unknown extension: $ARCHIVE"636 local ARCHIVE="$1"646 if [ "`basename $ARCHIVE`" = "$ARCHIVE" ] ; then647 ARCHIVE="`pwd`/$ARCHIVE"[all …]
408 ARCHIVE="$BIN_RELEASE.zip"411 ARCHIVE="$BIN_RELEASE.tar.bz2"414 echo "Creating $ARCHIVE"415 pack_archive "$OUT_DIR/$ARCHIVE" "$TMPDIR" "$RELEASE_PREFIX"416 fail_panic "Could not create archive: $OUT_DIR/$ARCHIVE"
497 ARCHIVE=platforms.tar.bz2498 dump "Packaging $ARCHIVE"499 pack_archive "$PACKAGE_DIR/$ARCHIVE" "$DSTDIR" "platforms"502 ARCHIVE=samples.tar.bz2503 dump "Packaging $ARCHIVE"504 pack_archive "$PACKAGE_DIR/$ARCHIVE" "$DSTDIR" "samples"
139 ARCHIVE = @ARCHIVE@