From c0779958077d3487d0a5aaa74faf887ad0798264 Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Wed, 19 Apr 2023 11:28:36 +0200
Subject: [PATCH] Fix binding option with openmpi

---
 tools/bench/plafrim/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/bench/plafrim/run.sh b/tools/bench/plafrim/run.sh
index 11893bed2..55ca02785 100755
--- a/tools/bench/plafrim/run.sh
+++ b/tools/bench/plafrim/run.sh
@@ -49,7 +49,7 @@ fi
 export MPI_OPTIONS=""
 if [ $MPI = "openmpi" ]
 then
-  export MPI_OPTIONS="--map-by ppr:1:node:pe=$SLURM_JOB_CPUS_PER_NODE"
+  export MPI_OPTIONS="--bind-to board"
   GUIX_ENV_MPI=""
   GUIX_ADHOC_MPI="openssh openmpi"
 elif [ $MPI = "nmad" ]
-- 
GitLab