Searched refs:file1 (Results 1 - 4 of 4) sorted by relevance
/linux-master/tools/objtool/ |
H A D | sync-check.sh | 31 file1=$1 37 cmd="diff $* $file1 $file2 > /dev/null" 41 echo "Warning: Kernel ABI header at '$file1' differs from latest version at '$file2'" >&2 42 echo diff -u $file1 $file2
|
/linux-master/scripts/ |
H A D | get_dvb_firmware | 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 [all...] |
H A D | bloat-o-meter | 21 parser.add_argument('file1', help='First file to compare') 88 calc(args.file1, args.file2, symbolformat)
|
/linux-master/scripts/kconfig/ |
H A D | confdata.c | 46 static bool is_same(const char *file1, const char *file2) argument 53 fd1 = open(file1, O_RDONLY);
|
Completed in 144 milliseconds