From 42f36ae976c44ac63aea8723b426798b2549283e Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Tue, 10 Dec 2019 20:11:45 +0100
Subject: [PATCH] append / to mountpoint when generated (fun fact, it works
 without it, /scratchtestfile is inside /scratch for us)

---
 src/smpi/mpi/smpi_file.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smpi/mpi/smpi_file.cpp b/src/smpi/mpi/smpi_file.cpp
index 966a5fc30d..3e837394e2 100644
--- a/src/smpi/mpi/smpi_file.cpp
+++ b/src/smpi/mpi/smpi_file.cpp
@@ -41,6 +41,7 @@ namespace smpi{
       else
         mount = disk->extension<simgrid::s4u::FileSystemDiskExt>()->get_mount_point();
       XBT_DEBUG("No absolute path given for file opening, use '%s'", mount.c_str());
+      mount.append("/");
       fullname.insert(0, mount);
     }
 
-- 
2.20.1