Lines Matching refs:ARCHIVE
737 local ARCHIVE="$1"
748 case "$ARCHIVE" in
750 (cd $DIR && run unzip $ZIPFLAGS "$ARCHIVE")
753 run tar $TARFLAGS "$ARCHIVE" -C $DIR
756 run tar z$TARFLAGS "$ARCHIVE" -C $DIR
761 run tar --use-compress-prog=pbzip2 -$TARFLAGS "$ARCHIVE" -C $DIR
763 run tar j$TARFLAGS "$ARCHIVE" -C $DIR
769 panic "Cannot unpack archive with unknown extension: $ARCHIVE"
781 local ARCHIVE="$1"
791 if [ "`basename $ARCHIVE`" = "$ARCHIVE" ] ; then
792 ARCHIVE="`pwd`/$ARCHIVE"
794 mkdir -p `dirname $ARCHIVE`
805 case "$ARCHIVE" in
807 (cd $SRCDIR && run zip $ZIPFLAGS "$ARCHIVE" $SRCFILES)
810 (cd $SRCDIR && run tar $TARFLAGS "$ARCHIVE" $SRCFILES)
813 (cd $SRCDIR && run tar z$TARFLAGS "$ARCHIVE" $SRCFILES)
818 (cd $SRCDIR && run tar --use-compress-prog=pbzip2 -$TARFLAGS "$ARCHIVE" $SRCFILES)
820 (cd $SRCDIR && run tar j$TARFLAGS "$ARCHIVE" $SRCFILES)
824 panic "Unsupported archive format: $ARCHIVE"