Lines Matching refs:stripped_ext
6423 stripped_ext=""6428 stripped_ext=".exe"6497 file=`$echo "X$file$stripped_ext" | $Xsed -e 's%^.*/%%'`6515 file=`$echo "X$file$stripped_ext" | $Xsed -e "s%\([^/]*\)$%$objdir/\1%"`
