You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Ubuntu 16.10 comes with gperftools 2.4, 17.04 has 2.5. Solved locally by manually downloading debs from https://launchpad.net/ubuntu/+source/google-perftools and installing via dpkg -i. Need to figure out the reason, though:
compile gperftools 2.4 and 2.5 (at least)
run against compiled versions
bisect
The text was updated successfully, but these errors were encountered:
It seems that gperftools >= 2.5 installs a signal handler once when the library is loaded, while gperftools <= 2.4 install a signal handler when the profiler is started, and remove it afterwards.
Ubuntu 16.10 comes with gperftools 2.4, 17.04 has 2.5. Solved locally by manually downloading debs from https://launchpad.net/ubuntu/+source/google-perftools and installing via
dpkg -i
. Need to figure out the reason, though:The text was updated successfully, but these errors were encountered: