Searched refs:file2 (Results 1 – 7 of 7) sorted by relevance
28 file2=$233 cmd="diff $* $file1 $file2 > /dev/null"35 test -f $file2 && {37 echo "Warning: Kernel ABI header at '$file1' differs from latest version at '$file2'" >&238 echo diff -u $file1 $file2
89 file2=$294 cmd="diff $* $file1 $file2 > /dev/null"96 test -f $file2 && {98 echo "Warning: Kernel ABI header at '$file1' differs from latest version at '$file2'" >&299 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"
236 # (3) - due to: file1.h file2.h
41 static bool is_same(const char *file1, const char *file2) in is_same() argument52 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