Searched refs:dest_file (Results 1 – 1 of 1) sorted by relevance
42 dest_file=${root_dir}/module-index.txt44 echo "Generating index file $dest_file..."59 …/LOCAL_PACKAGE_NAME *:= *//g' -e 's/LOCAL_MODULE *:= *//g' -e 's/\^M*$//g' < $tmp_file > $dest_file61 mv $dest_file $tmp_file64 grep -v "^$root_dir/vendor/google" $tmp_file > $dest_file