Going back on previous changes, which do not work on my machine.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2796 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/xbt/ex.c b/src/xbt/ex.c
index e1cc355..56f5901 100644 (file)
--- a/src/xbt/ex.c
+++ b/src/xbt/ex.c
@@ -180,18 +180,9 @@ void xbt_ex_setup_backtrace(xbt_ex_t *e)  {
         are set */ 
       p  = xbt_strdup(backtrace[i]);
       p2 = strrchr(p,'(');
-      if (p2) { 
-        *p2= '\0';
-      } else { 
-        p2 = strrchr(p,' ');
-        if(p2 == NULL) 
-          {
-            ERROR1("Couldn't parse %s to get the library path", backtrace[i]);
-            xbt_abort();
-          }
-        
-        *p2= '\0';
-      }
+      if (p2) *p2= '\0';
+      p2 = strrchr(p,' ');
+      if(p2) *p2= '\0';
       
       /* Here we go, fire an addr2line up */
       subcmd = bprintf("%s -f -e %s %s",ADDR2LINE,p, addrs[i]);