diff --git a/tools/bench/plafrim/run.sh b/tools/bench/plafrim/run.sh index 11893bed24dadfed9cb75bdf34274604cce78996..55ca0278540885f5434ecb0c62634dbdc3bbb1b6 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" ]