New submission from Roumen Petrov <bugtrack@roumenpetrov.info>:
The make target "run_profile_task" fail as executable cannot load shared
library. Patch attached.
----------
files: py-issue-profile.patch
keywords: patch
messages: 80537
nosy: rpetrov
severity: normal
status: open
title: gcc profile guided optimization
Added file: http://bugs.python.org/file12859/py-issue-profile.patch
_______________________________________
Python tracker <report@bugs.python.org>
<http://bugs.python.org/issue5060>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com
The make target "run_profile_task" fail as executable cannot load shared
library. Patch attached.
----------
files: py-issue-profile.patch
keywords: patch
messages: 80537
nosy: rpetrov
severity: normal
status: open
title: gcc profile guided optimization
Added file: http://bugs.python.org/file12859/py-issue-profile.patch
_______________________________________
Python tracker <report@bugs.python.org>
<http://bugs.python.org/issue5060>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/list-python-bugs%40lists.gossamer-threads.com