[Python-Dev] Would someone please update the profile-opt buildbot flag settings?
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). thanks, -gregory.p.smith ___ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
Re: [Python-Dev] Would someone please update the profile-opt buildbot flag settings?
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 consistent with preferred autoconf > terminology (see https://bugs.python.org/issue28032 for why). Done. -- Zach ___ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
