On Thu, 30 Jul 2009, M?ns Rullg?rd wrote: > Forgot to say, disabling this for --disable-optimizations makes > sense. I've done that myself at times. Alright - applied. -Jeff