On Sun, Nov 20, 2016 at 3:31 PM, Gregory P. Smith <g...@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 _______________________________________________ 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
