Searched refs:destname (Results 1 – 1 of 1) sorted by relevance
2884 destname=2888 destname="$func_basename_result"3038 if test -n "$destname"; then3039 destfile="$destdir/$destname"3077 if test -n "$destname"; then3078 destfile="$destdir/$destname"