Searched refs:file2 (Results 1 – 8 of 8) sorted by relevance
32 file2=$237 cmd="diff $* $file1 $file2 > /dev/null"39 test -f $file2 && {41 echo "Warning: Kernel ABI header at '$file1' differs from latest version at '$file2'" >&242 echo diff -u $file1 $file2
97 file2=$2102 cmd="diff $* $file1 $file2 > /dev/null"104 test -f $file2 && {106 echo "Warning: Kernel ABI header at '$file1' differs from latest version at '$file2'" >&2107 echo diff -u $file1 $file2
559 my $file2 = "ngene_17.fw";570 wgetfile($file2, $url . $file2);571 verify($file2, $hash2);576 "$file1, $file2, $file3";702 my $file2 = "dvb-usb-it9135-02.zip";712 wgetfile($file2, $url . $file2);713 unzip($file2, "");716 "$file1 $file2"
164 # (3) - due to: file1.h file2.h
42 static bool is_same(const char *file1, const char *file2) in is_same() argument53 fd2 = open(file2, O_RDONLY); in is_same()
11 'perf diff' [baseline file] [data file1] [[data file2] ... ]
53 names like file1 and file2 to mysteriously be duplicates of each other
554 dir/file2 id: u2000566 dir/file2 id: u12000
