Searched refs:tools_file (Results 1 – 1 of 1) sorted by relevance

/linux/tools/perf/
A D	check-headers.sh	108 tools_file=$1 114 cmd="diff $* $tools_file $orig_file > /dev/null" 119 "$tools_file $orig_file" 142 tools_file="tools/$orig_file" 148 "$tools_file $orig_file" 153 cmd="diff -u \"$tools_file\" \"$orig_file\" | grep -vf \"$hunks_to_ignore\" | wc -l | grep -qw 0" 158 "$tools_file $orig_file"

Completed in 5 milliseconds

Last Index update Fri Aug 22 08:59:00 CST 2025