Lines Matching refs:ARCHIVE
53 # package archive
286 By default, it generates a package archive ($TOOLCHAIN_ARCHIVE) but you can,
554 # Pack a given archive
556 # $1: archive file path (including extension)
557 # $2: source directory for archive content
561 local ARCHIVE="$1"
571 if [ "`basename $ARCHIVE`" = "$ARCHIVE" ] ; then
572 ARCHIVE="`pwd`/$ARCHIVE"
574 mkdir -p `dirname $ARCHIVE`
582 case "$ARCHIVE" in
584 (cd $SRCDIR && run zip $ZIPFLAGS "$ARCHIVE" $SRCFILES)
587 (cd $SRCDIR && run tar $TARFLAGS "$ARCHIVE" $SRCFILES)
590 (cd $SRCDIR && run tar z$TARFLAGS "$ARCHIVE" $SRCFILES)
593 (cd $SRCDIR && run tar j$TARFLAGS "$ARCHIVE" $SRCFILES)
596 archive format: $ARCHIVE"
1054 fail_panic "Unable to download packages list, try --ubuntu-mirror=<url> to use another archive mirror"
