Lines Matching refs:destname
5873 destname=5877 destname=`$echo "X$dest" | $Xsed -e 's%^.*/%%'`6054 if test -n "$destname"; then6055 destfile="$destdir/$destname"6096 if test -n "$destname"; then6097 destfile="$destdir/$destname"
