Lines Matching full:destname
5830 destname=5834 destname=`$echo "X$dest" | $Xsed -e 's%^.*/%%'`6011 if test -n "$destname"; then6012 destfile="$destdir/$destname"6053 if test -n "$destname"; then6054 destfile="$destdir/$destname"
