Searched refs:stripped_ext (Results 1 – 1 of 1) sorted by relevance
6153 stripped_ext=""6158 stripped_ext=".exe"6227 file=`$echo "X$file$stripped_ext" | $Xsed -e 's%^.*/%%'`6245 file=`$echo "X$file$stripped_ext" | $Xsed -e "s%\([^/]*\)$%$objdir/\1%"`
Completed in 14 milliseconds