Lines Matching full:destname
5893 destname=5897 destname=`$echo "X$dest" | $Xsed -e 's%^.*/%%'`6074 if test -n "$destname"; then6075 destfile="$destdir/$destname"6116 if test -n "$destname"; then6117 destfile="$destdir/$destname"
