STINNER Victor added the comment: I tested "./configure --enable-shared && make profile-opt" with the fix and it worked. So I close the issue. Thanks for the report Jan Matejek.
---------- resolution: -> fixed status: open -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue20354> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
