Searched refs:destfile (Results 1 – 1 of 1) sorted by relevance
6105 destfile="$destdir/$destfile"6109 case $destfile in6111 staticdest=`$echo "X$destfile" | $Xsed -e "$lo2o"`6114 staticdest="$destfile"6144 destfile="$destdir/$destname"6146 destfile=`$echo "X$file" | $Xsed -e 's%^.*/%%'`6147 destfile="$destdir/$destfile"6253 case $file:$destfile in6258 destfile=$destfile.exe6261 destfile=`$echo $destfile | ${SED} -e 's,.exe$,,'`[all …]
Completed in 19 milliseconds
