Lines Matching full:destname
5927 destname=5931 destname=`$echo "X$dest" | $Xsed -e 's%^.*/%%'`6108 if test -n "$destname"; then6109 destfile="$destdir/$destname"6150 if test -n "$destname"; then6151 destfile="$destdir/$destname"
