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

/tools/perf/
A D	check-headers.sh	105 tools_file=$1 111 cmd="diff $* $tools_file $orig_file > /dev/null" 116 "$tools_file $orig_file" 139 tools_file="tools/$orig_file" 145 "$tools_file $orig_file" 150 cmd="diff -u \"$tools_file\" \"$orig_file\" | grep -vf \"$hunks_to_ignore\" | wc -l | grep -qw 0" 155 "$tools_file $orig_file"

Completed in 4 milliseconds

Last Index update Fri Aug 22 10:33:58 CST 2025