Lines Matching refs:stripped_ext
6071 stripped_ext=""6076 stripped_ext=".exe"6145 file=`$echo "X$file$stripped_ext" | $Xsed -e 's%^.*/%%'`6163 file=`$echo "X$file$stripped_ext" | $Xsed -e "s%\([^/]*\)$%$objdir/\1%"`
