merge from BR_KERNEL_REFACTORING

[modules/kernel.git] / src / Launcher / Launcher.cxx

diff --git a/src/Launcher/Launcher.cxx b/src/Launcher/Launcher.cxx
index 62bfe647bfbcf7a1941b03d091ecda1bfa79a30a..d749f82587af34507f38d211575416211076af4a 100644 (file)
--- a/src/Launcher/Launcher.cxx
+++ b/src/Launcher/Launcher.cxx
@@ -403,6 +403,9 @@ Launcher_cpp::FactoryBatchManager(ParserResourcesType& params)
     case openmpi:
       mpi = "openmpi";
       break;
+    case ompi:
+      mpi = "ompi";
+      break;
     case slurmmpi:
       mpi = "slurmmpi";
       break;