From 27e0d66723c8ddb57672492eb4e0055687927abb Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 14 Sep 2015 07:17:59 +0200
Subject: [PATCH] bummer

---
 src/xbt/xbt_os_file.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/xbt/xbt_os_file.c b/src/xbt/xbt_os_file.c
index a14df25450..43c30bb8e4 100644
--- a/src/xbt/xbt_os_file.c
+++ b/src/xbt/xbt_os_file.c
@@ -87,7 +87,7 @@ char *xbt_basename(const char *path) {
 	  char ext[1024];
 	  errno_t err;
 	  err = _splitpath_s(path, NULL,0, NULL,0, file,1024, ext,1024);
-	  return bprintf("%s%s",drive,dir);
+	  return bprintf("%s.%s",file,ext);
 #else
 	  return basename(xbt_strdup(path));
 #endif
-- 
2.20.1