[Python-Dev] Would someone please update the profile-opt buildbot flag settings?

Gregory P. Smith greg at krypto.org
Sun Nov 20 16:31:51 EST 2016

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.org/issue28032 for why).

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-dev/attachments/20161120/9fb0c799/attachment.html>

More information about the Python-Dev mailing list