Lines Matching refs:FILE
6 # you may not use this file except in compliance with the License.
416 # A file that will contain details about all the sources used to generate
430 # Empty the SOURCES file
573 # Download a file with either 'curl', 'wget' or 'scp'
576 # $2: target file
606 # Is this a file copy ?
607 # Accept both file://<path> or /<path>
609 if pattern_match "^(file://|/).*" "$1"; then
610 cp_src=`echo $1 | sed -e s%^file://%%g`
634 # $1: archive file path (including extension)
684 # Load the Ubuntu packages file. This is a long text file that will list
708 FILE = ""
721 FILE = \$2
725 print FILE
737 # The following is an awk command to parse the Packages file and extract
740 local FILE=`awk -f "$DOWNLOAD_DIR/extract-filename.awk" -v PKG=$1 $DOWNLOAD_DIR/Packages`
741 if [ -z "$FILE" ]; then
745 echo "$2/ubuntu/$FILE"
1211 # $2: path to SOURCES file
1253 # Create a temporary SOURCES file for the toolchain sources only
1254 # It's content will be copied to the final SOURCES file later.
1667 # Copy the SOURCES file as well
