Lines Matching refs:destname
6182 destname=6186 destname=`$echo "X$dest" | $Xsed -e 's%^.*/%%'`6363 if test -n "$destname"; then6364 destfile="$destdir/$destname"6405 if test -n "$destname"; then6406 destfile="$destdir/$destname"
