Lines Matching refs:destfile
6104 destfile="$destdir/$destfile"
6108 case $destfile in
6110 staticdest=`$echo "X$destfile" | $Xsed -e "$lo2o"`
6113 staticdest="$destfile"
6117 $echo "$modename: cannot copy a libtool object to \`$destfile'" 1>&2
6143 destfile="$destdir/$destname"
6145 destfile=`$echo "X$file" | $Xsed -e 's%^.*/%%'`
6146 destfile="$destdir/$destfile"
6252 case $file:$destfile in
6257 destfile=$destfile.exe
6260 destfile=`$echo $destfile | ${SED} -e 's,.exe$,,'`
6265 $show "$install_prog$stripme $file $destfile"