<div dir="ltr">For <a href="http://buildbot.python.org/all/buildslaves/gps-debian-profile-opt">http://buildbot.python.org/all/buildslaves/gps-debian-profile-opt</a> in particular (and any others we have using it - if any): Our new --with-optimizations configure flag has been renamed to <b>--enable-optimizations</b> to be more consistent with preferred autoconf terminology (see <a href="https://bugs.python.org/issue28032">https://bugs.python.org/issue28032</a> for why).<div><br></div><div>thanks,</div><div>-gregory.p.smith<br></div></div>