Searched refs:tools_file (Results 1 – 1 of 1) sorted by relevance
106 tools_file=$1112 cmd="diff $* $tools_file $orig_file > /dev/null"117 "$tools_file $orig_file"