From fe50f12c40cd5b19c48e931a496bcb33ea8fb608 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 17 Oct 2012 22:03:15 +0200 Subject: [PATCH] model-checker : first line of objdump --section-headers display complete path of elf file --- src/mc/mc_checkpoint.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c index a9e4916d6e..8a5861c566 100644 --- a/src/mc/mc_checkpoint.c +++ b/src/mc/mc_checkpoint.c @@ -226,7 +226,7 @@ void get_libsimgrid_plt_section(){ if(lfields[0] == NULL) continue; - if(strcmp(lfields[0], "Sections:") == 0 || strcmp(lfields[0], "Idx") == 0 || strcmp(lfields[0], "libsimgrid.so:") == 0) + if(strcmp(lfields[0], "Sections:") == 0 || strcmp(lfields[0], "Idx") == 0 || strncmp(lfields[0], libsimgrid_path, strlen(libsimgrid_path)) == 0) continue; for (i = 1; i < 7 && lfields[i - 1] != NULL; i++) { @@ -283,7 +283,7 @@ void get_binary_plt_section(){ if(lfields[0] == NULL) continue; - if(strcmp(lfields[0], "Sections:") == 0 || strcmp(lfields[0], "Idx") == 0 || strcmp(lfields[0], basename(xbt_binary_name)) == 0) + if(strcmp(lfields[0], "Sections:") == 0 || strcmp(lfields[0], "Idx") == 0 || strncmp(lfields[0], basename(xbt_binary_name), strlen(xbt_binary_name)) == 0) continue; for (i = 1; i < 7 && lfields[i - 1] != NULL; i++) { -- 2.20.1