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

[Zachary Ware]

On Sun, Nov 20, 2016 at 3:31 PM, Gregory P. Smith <greg at krypto.org> 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