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 Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
