Lines Matching full:destname
1714 destname=1718 destname=`$echo "X$dest" | $Xsed -e 's%^.*/%%'`1857 if test -n "$destname"; then1858 destfile="$destdir/$destname"
