Lines Matching full:destname
5919 destname=5923 destname=`$echo "X$dest" | $Xsed -e 's%^.*/%%'`6100 if test -n "$destname"; then6101 destfile="$destdir/$destname"6142 if test -n "$destname"; then6143 destfile="$destdir/$destname"
