Searched refs:destname (Results 1 – 1 of 1) sorted by relevance
4622 if test -n "$destname"; then4623 destfile=$destdir/$destname4661 if test -n "$destname"; then4662 destfile=$destdir/$destname