Fwd: Patchy's configure flags

2012-07-30 Thread John Mandereau
Sorry for duplicating a message again David, I'm bugged by an email client I don't use often. -- Forwarded message -- From: John Mandereau Date: 2012/7/30 Subject: Re: Patchy's configure flags To: David Kastrup 2012/7/30 David Kastrup : > The problem i

Re: Patchy's configure flags

2012-07-30 Thread David Kastrup
John Mandereau writes: > I wonder why Patchy has unconditionnally run configure with > --disable-optimising since last December or so. Because without that, compilations get run with -DNDEBUG and assertions are not tested. Also some other tests (like that for parsed objects that should be dead)

Patchy's configure flags

2012-07-30 Thread John Mandereau
I wonder why Patchy has unconditionnally run configure with --disable-optimising since last December or so. I guess there used to be issues with optimisation for some GCC versions. Could optimisations be enabled again now? Or better, could we allow developers who run Patchy tune configure flags?