Searched refs:orig_file (Results 1 – 2 of 2) sorted by relevance
107 orig_file=$2112 cmd="diff $* $tools_file $orig_file > /dev/null"114 if [ -f "$orig_file" ] && ! eval "$cmd"117 "$tools_file $orig_file"
1964 my ($orig_file) = @_;1967 $file = "$ENV{'SRCTREE'}" . "/" . $orig_file;1969 $file = $orig_file;1980 my ($orig_file) = @_;1981 my $file = map_filename($orig_file);2306 my ($orig_file) = @_;2308 $file = map_filename($orig_file);