Lines Matching refs:destfile
4773 destfile="$destdir/$destfile"
4777 case $destfile in
4779 staticdest=`$echo "X$destfile" | $Xsed -e "$lo2o"`
4782 staticdest="$destfile"
4786 $echo "$modename: cannot copy a libtool object to \`$destfile'" 1>&2
4812 destfile="$destdir/$destname"
4814 destfile=`$echo "X$file" | $Xsed -e 's%^.*/%%'`
4815 destfile="$destdir/$destfile"
4905 case $file:$destfile in
4910 destfile=$destfile.exe
4913 destfile=`echo $destfile | ${SED} -e 's,.exe$,,'`
4918 $show "$install_prog$stripme $file $destfile"