Searched refs:destname (Results 1 – 1 of 1) sorted by relevance
1949 destname=1953 destname="$func_basename_result"2100 if test -n "$destname"; then2101 destfile="$destdir/$destname"2139 if test -n "$destname"; then2140 destfile="$destdir/$destname"