Lines Matching refs:destfile
6105 destfile="$destdir/$destfile"
6109 case $destfile in
6111 staticdest=`$echo "X$destfile" | $Xsed -e "$lo2o"`
6114 staticdest="$destfile"
6118 $echo "$modename: cannot copy a libtool object to \`$destfile'" 1>&2
6144 destfile="$destdir/$destname"
6146 destfile=`$echo "X$file" | $Xsed -e 's%^.*/%%'`
6147 destfile="$destdir/$destfile"
6253 case $file:$destfile in
6258 destfile=$destfile.exe
6261 destfile=`$echo $destfile | ${SED} -e 's,.exe$,,'`
6266 $show "$install_prog$stripme $file $destfile"