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

[Gregory P. Smith]

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