Searched refs:file2 (Results 1 - 4 of 4) sorted by relevance
| /linux-master/tools/objtool/ |
| H A D | sync-check.sh | 32 file2=$2
37 cmd="diff $* $file1 $file2 > /dev/null"
39 test -f $file2 && {
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 | 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"
[all...] |
| H A D | bloat-o-meter | 22 parser.add_argument('file2', help='Second 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
57 fd2 = open(file2, O_RDONLY);
|
Completed in 121 milliseconds