Diego Elio Pettenò wrote: > The other point is that -O0 will turn off whatever the user passed on > ./configure which is an optimisation but not an -O level (e.g., > -funroll-loops). Ah, that is a good point. Okay, we'll do it your way until there's a real problem.