Lines Matching refs:stripped_ext
6063 stripped_ext=""6068 stripped_ext=".exe"6137 file=`$echo "X$file$stripped_ext" | $Xsed -e 's%^.*/%%'`6155 file=`$echo "X$file$stripped_ext" | $Xsed -e "s%\([^/]*\)$%$objdir/\1%"`
