Searched refs:ARCHIVE_DIR (Results 1 – 2 of 2) sorted by relevance
160 if [ ! -f "$ARCHIVE_DIR/$PKG_NAME" ]; then162 (cd $ARCHIVE_DIR && run curl -L -o "$PKG_NAME" "$PKG_URL")170 run tar xjf $ARCHIVE_DIR/$PKG_NAME -C $SRC_DIR173 run tar xzf $ARCHIVE_DIR/$PKG_NAME -C $SRC_DIR179 fail_panic "Can't uncompress $ARCHIVE_DIR/$PKG_NAME"200 ARCHIVE_DIR=$TEMP_DIR/archive
364 if [ ! -f "$ARCHIVE_DIR/$PKG_NAME" ]; then366 (cd $ARCHIVE_DIR && run curl -L -o "$PKG_NAME" "$PKG_URL")370 MD5SUM=$(md5sum $ARCHIVE_DIR/$PKG_NAME | cut -d" " -f1)377 run tar xjf $ARCHIVE_DIR/$PKG_NAME -C $SRC_DIR380 run tar xzf $ARCHIVE_DIR/$PKG_NAME -C $SRC_DIR386 fail_panic "Can't uncompress $ARCHIVE_DIR/$PKG_NAME"391 ARCHIVE_DIR=$TEMP_DIR/archive395 mkdir -p $ARCHIVE_DIR