Lines Matching refs:destfile
6118 destfile="$destdir/$destfile"
6122 case $destfile in
6124 staticdest=`$echo "X$destfile" | $Xsed -e "$lo2o"`
6127 staticdest="$destfile"
6131 $echo "$modename: cannot copy a libtool object to \`$destfile'" 1>&2
6157 destfile="$destdir/$destname"
6159 destfile=`$echo "X$file" | $Xsed -e 's%^.*/%%'`
6160 destfile="$destdir/$destfile"
6266 case $file:$destfile in
6271 destfile=$destfile.exe
6274 destfile=`$echo $destfile | ${SED} -e 's,.exe$,,'`
6279 $show "$install_prog$stripme $file $destfile"
