Searched refs:destlibdir (Results 1 – 1 of 1) sorted by relevance
4669 destlibdir=$func_stripname_result4675 inst_prefix_dir=`$ECHO "X$s_destdir" | $Xsed -e "s%$destlibdir\$%%"`