Searched refs:modfilec (Results 1 – 1 of 1) sorted by relevance
728 modfilec=`echo $file | sed -e 's;^.*/;;'`730 if [ "x$file" != "x$src/modules/extra/$modfilec" ]; then731 cp $file $src/modules/extra/$modfilec