Searched refs:stripped_ext (Results 1 – 1 of 1) sorted by relevance
6166 stripped_ext=""6171 stripped_ext=".exe"6240 file=`$echo "X$file$stripped_ext" | $Xsed -e 's%^.*/%%'`6258 file=`$echo "X$file$stripped_ext" | $Xsed -e "s%\([^/]*\)$%$objdir/\1%"`
Completed in 12 milliseconds