model-checker : if get_libsimgrid_plt_section called before first snapshot, libsimgri...

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index ad1de43..b6721f6 100644 (file)
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -222,7 +222,10 @@ void get_libsimgrid_plt_section(){
   int i, plt_not_found = 1;
   unsigned long int size, offset;
 
   int i, plt_not_found = 1;
   unsigned long int size, offset;
 

-  char *command = bprintf( "objdump --section-headers %s", libsimgrid_path);
+  if(libsimgrid_path == NULL)
+    libsimgrid_path = get_libsimgrid_path();
+
+  char *command = bprintf("objdump --section-headers %s", libsimgrid_path);

 
   fp = popen(command, "r");
 
 
   fp = popen(command, "r");
 


@@ -259,7 +262,6 @@ void get_libsimgrid_plt_section(){
       }
     }
     
       }
     }
     

-    

   }
 
   free(command);
   }
 
   free(command);