Searched refs:destname (Results 1 – 1 of 1) sorted by relevance
1942 destname=1946 destname="$func_basename_result"2093 if test -n "$destname"; then2094 destfile="$destdir/$destname"2132 if test -n "$destname"; then2133 destfile="$destdir/$destname"