at 12:43 PM, hpa@zytor.com wrote:> > Does -pipe actually win anything these days?Sorry, I don’t have the time to check it right now. Anyhow, I presume it isbest that such a change will be in a separate patch.