Searched refs:destfile (Results 1 – 1 of 1) sorted by relevance
6118 destfile="$destdir/$destfile"6122 case $destfile in6124 staticdest=`$echo "X$destfile" | $Xsed -e "$lo2o"`6127 staticdest="$destfile"6157 destfile="$destdir/$destname"6159 destfile=`$echo "X$file" | $Xsed -e 's%^.*/%%'`6160 destfile="$destdir/$destfile"6266 case $file:$destfile in6271 destfile=$destfile.exe6274 destfile=`$echo $destfile | ${SED} -e 's,.exe$,,'`[all …]
Completed in 21 milliseconds