Searched refs:FILES (Results 1 – 1 of 1) sorted by relevance
83 FILES=`grep -r -l --include \*.rs \87 if [ "$FILES" != "" ]; then88 printf "INFO: to update FILES: %s\n" "`echo ${FILES} | paste -s -d' '`"137 sed -i -e "$cmd" $FILES