Searched refs:orig_file (Results 1 – 2 of 2) sorted by relevance
110 orig_file=$2115 cmd="diff $* $tools_file $orig_file > /dev/null"117 if [ -f "$orig_file" ] && ! eval "$cmd"120 "$tools_file $orig_file"142 orig_file="$1"143 tools_file="tools/$orig_file"144 hunks_to_ignore="tools/perf/check-header_ignore_hunks/$orig_file"147 echo "$hunks_to_ignore not found. Skipping $orig_file check."149 "$tools_file $orig_file"154 cmd="diff -u \"$tools_file\" \"$orig_file\" | grep -vf \"$hunks_to_ignore\" | wc -l | grep -qw 0"[all …]
556 local orig_file="$ORIG_DIR/$rel_file"557 local orig_dir="$(dirname "$orig_file")"589 local orig_file="$ORIG_DIR/$rel_file"595 cmp -s "$orig_file" "$file" && continue625 local orig_file="$rel_file"637 cmd+=("$orig_file")737 local orig_file="$ORIG_DIR/$rel_file"738 local orig_dir="$(dirname "$orig_file")"