Searched refs:orig_file (Results 1 – 2 of 2) sorted by relevance
109 orig_file=$2114 cmd="diff $* $tools_file $orig_file > /dev/null"116 if [ -f "$orig_file" ] && ! eval "$cmd"119 "$tools_file $orig_file"141 orig_file="$1"142 tools_file="tools/$orig_file"143 hunks_to_ignore="tools/perf/check-header_ignore_hunks/$orig_file"146 echo "$hunks_to_ignore not found. Skipping $orig_file check."148 "$tools_file $orig_file"153 cmd="diff -u \"$tools_file\" \"$orig_file\" | grep -vf \"$hunks_to_ignore\" | wc -l | grep -qw 0"[all …]
577 local orig_file="$ORIG_DIR/$rel_file"578 local orig_dir="$(dirname "$orig_file")"610 local orig_file="$ORIG_DIR/$rel_file"616 cmp -s "$orig_file" "$file" && continue646 local orig_file="$rel_file"658 cmd+=("$orig_file")758 local orig_file="$ORIG_DIR/$rel_file"759 local orig_dir="$(dirname "$orig_file")"