Searched refs:destname (Results 1 – 1 of 1) sorted by relevance
4366 if test -n "$destname"; then4367 destfile=$destdir/$destname4405 if test -n "$destname"; then4406 destfile=$destdir/$destname