Lines Matching full:extract
159 # extract into the original sysroot
432 # Location of original sysroot. This is where we're going to extract all
719 # Write a small awk script used to extract filenames for a given package
720 cat > $DOWNLOAD_DIR/extract-filename.awk <<EOF
755 # The following is an awk command to parse the Packages file and extract
758 local FILE=`awk -f "$DOWNLOAD_DIR/extract-filename.awk" -v PKG=$1 $DOWNLOAD_DIR/Packages-$3`
1473 task2_define extract_gmp "Extract sources for gmp-$GMP_VERSION"
1520 task2_define extract_mpfr "Extract sources from mpfr-$MPFR_VERSION"
1565 task2_define extract_mpc "Extract sources for mpc-$MPC_VERSION"
1610 task2_define extract_isl "Extract sources for isl-$ISL_VERSION"
