Searched refs:file1 (Results 1 – 8 of 8) sorted by relevance
31 file1=$137 cmd="diff $* $file1 $file2 > /dev/null"41 echo "Warning: Kernel ABI header at '$file1' differs from latest version at '$file2'" >&242 echo diff -u $file1 $file2
97 file1=$1103 cmd="diff $* $file1 $file2 > /dev/null"107 echo "Warning: Kernel ABI header at '$file1' differs from latest version at '$file2'" >&2108 echo diff -u $file1 $file2
557 my $file1 = "ngene_15.fw";567 wgetfile($file1, $url . $file1);568 verify($file1, $hash1);576 "$file1, $file2, $file3";699 my $file1 = "dvb-usb-it9135-01.zip";708 wgetfile($file1, $url . $file1);709 unzip($file1, "");716 "$file1 $file2"
164 # (3) - due to: file1.h file2.h
43 static bool is_same(const char *file1, const char *file2) in is_same() argument50 fd1 = open(file1, 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
553 dir/file1 id: u1000565 dir/file1 id: u11000
Completed in 14 milliseconds