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