jedule_sd_dump should be called with a filename or null

diff --git a/include/simgrid/jedule/jedule_sd_binding.h b/include/simgrid/jedule/jedule_sd_binding.h
index 3855ef8..6d62766 100644 (file)
--- a/include/simgrid/jedule/jedule_sd_binding.h
+++ b/include/simgrid/jedule/jedule_sd_binding.h
@@ -22,7 +22,7 @@ XBT_PUBLIC(void) jedule_sd_cleanup(void);
 
 XBT_PUBLIC(void) jedule_sd_exit(void);
 
-XBT_PUBLIC(void) jedule_sd_dump(void);
+XBT_PUBLIC(void) jedule_sd_dump(const char* fname);
 SG_END_DECL()
 #endif /* JEDULE_SD_BINDING_H_ */
 

diff --git a/src/instr/jedule/jedule_sd_binding.c b/src/instr/jedule/jedule_sd_binding.c
index 25a44a2..89bb566 100644 (file)
--- a/src/instr/jedule/jedule_sd_binding.c
+++ b/src/instr/jedule/jedule_sd_binding.c
@@ -124,15 +124,13 @@ void jedule_sd_exit(void)
   }
 }
 
-void jedule_sd_dump()
+void jedule_sd_dump(const char * fname)
 {
   if (jedule) {
     FILE *fh;
-    char fname[1024];
-
-    fname[0] = '\0';
-    strcat(fname, xbt_binary_name);
-    strcat(fname, ".jed\0");
+    if (!fname) {
+      fname = bprintf("%s.jed", xbt_binary_name);
+    }
 
     fh = fopen(fname, "w");