Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Do only call addr2line on a library when we got the actual name of the library, natur...
authormquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sat, 7 Jul 2007 13:10:15 +0000 (13:10 +0000)
committermquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Sat, 7 Jul 2007 13:10:15 +0000 (13:10 +0000)
commit9b954240096d6a5c28a1d92cabee46a8ebdea5e2
tree647355640b058f28b7f58bb219b736c22be1c7e3
parentb1ad3869f4a66c317ba550880d95efa5f4ec2e1e
Do only call addr2line on a library when we got the actual name of the library, naturally. I dunno how to get this name when it's not explicited in /proc/self/maps (Ideas someone?)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@3673 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/xbt/ex.c