Lines Matching refs:FILE
6 # you may not use this file except in compliance with the License.
89 # A file that will contain details about all the sources used to generate
370 # Empty the SOURCES file
495 # Download a file with either 'curl', 'wget' or 'scp'
498 # $2: target file
528 # Is this a file copy ?
529 # Accept both file://<path> or /<path>
531 if pattern_match "^(file://|/).*" "$1"; then
532 cp_src=`echo $1 | sed -e s%^file://%%g`
556 # $1: archive file path (including extension)
606 # Load the Ubuntu packages file. This is a long text file that will list
630 FILE = ""
643 FILE = \$2
647 print FILE
659 # The following is an awk command to parse the Packages file and extract
662 local FILE=`awk -f "$DOWNLOAD_DIR/extract-filename.awk" -v PKG=$1 $DOWNLOAD_DIR/Packages`
663 if [ -z "$FILE" ]; then
667 echo "$2/ubuntu/$FILE"
997 # $2: path to SOURCES file
1039 # Create a temporary SOURCES file for the toolchain sources only
1040 # It's content will be copied to the final SOURCES file later.
1348 # Copy the SOURCES file as well
