Define xbt_os_procname().

diff --git a/src/xbt/xbt_virtu.c b/src/xbt/xbt_virtu.c
index e0b9ab6..efe333d 100644 (file)
--- a/src/xbt/xbt_virtu.c
+++ b/src/xbt/xbt_virtu.c
@@ -11,6 +11,8 @@
 #include "xbt/function_types.h"
 #include "simgrid/simix.h"
 
+char *xbt_os_procname_data = NULL;
+
 static int xbt_fake_pid(void)
 {
   return 0;
@@ -40,3 +42,7 @@ const char *xbt_procname(void)
   return SIMIX_process_self_get_name();
 }
 
+const char *xbt_os_procname(void)
+{
+  return xbt_os_procname_data;
+}