On Sun, Nov 20, 2016 at 3:31 PM, Gregory P. Smith wrote:
> For http://buildbot.python.org/all/buildslaves/gps-debian-profile-opt in
> particular (and any others we have using it - if any): Our new
> --with-optimizations configure flag has been renamed to
> --enable-optimizations to be more consist
For http://buildbot.python.org/all/buildslaves/gps-debian-profile-opt in
particular (and any others we have using it - if any): Our new
--with-optimizations configure flag has been renamed to
*--enable-optimizations* to be more consistent with preferred autoconf
terminology (see https://bugs.python
