Lines Matching refs:stripped_ext
6126 stripped_ext=""6131 stripped_ext=".exe"6200 file=`$echo "X$file$stripped_ext" | $Xsed -e 's%^.*/%%'`6218 file=`$echo "X$file$stripped_ext" | $Xsed -e "s%\([^/]*\)$%$objdir/\1%"`
