Searched refs:destname (Results 2801 – 2825 of 3464) sorted by relevance
1...<<111112113114115116117118119120>>...139
4366 if test -n "$destname"; then4367 destfile=$destdir/$destname4405 if test -n "$destname"; then4406 destfile=$destdir/$destname
4554 if test -n "$destname"; then4555 destfile=$destdir/$destname4593 if test -n "$destname"; then4594 destfile=$destdir/$destname
4458 if test -n "$destname"; then4459 destfile=$destdir/$destname4497 if test -n "$destname"; then4498 destfile=$destdir/$destname
4580 if test -n "$destname"; then4581 destfile=$destdir/$destname4619 if test -n "$destname"; then4620 destfile=$destdir/$destname