From 271ad4217ac04b5dbc5c02fcf50ed1ebfae4e5cc Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 22 Nov 2012 16:46:09 +0100
Subject: [PATCH] Define xbt_os_procname().

---
 src/xbt/xbt_virtu.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/xbt/xbt_virtu.c b/src/xbt/xbt_virtu.c
index e0b9ab6710..efe333daef 100644
--- 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;
+}
-- 
2.20.1