Lines Matching refs:stripped_ext
6415 stripped_ext=""6420 stripped_ext=".exe"6489 file=`$echo "X$file$stripped_ext" | $Xsed -e 's%^.*/%%'`6507 file=`$echo "X$file$stripped_ext" | $Xsed -e "s%\([^/]*\)$%$objdir/\1%"`
