diff --git a/contrib/platform/intel/bend/linux b/contrib/platform/intel/bend/linux index 09d81cb3ba..912ea973c9 100644 --- a/contrib/platform/intel/bend/linux +++ b/contrib/platform/intel/bend/linux @@ -25,5 +25,7 @@ with_tm=no with_devel_headers=yes with_portals=no with_valgrind=no -with_slurm=$SLURMHOME -with_pmi=$SLURMHOME +if [ -n "$SLURMHOME" ] then + with_slurm=$SLURMHOME + with_pmi=$SLURMHOME +fi diff --git a/contrib/platform/intel/bend/linux-optimized b/contrib/platform/intel/bend/linux-optimized index 79d40665bb..700f0486f0 100644 --- a/contrib/platform/intel/bend/linux-optimized +++ b/contrib/platform/intel/bend/linux-optimized @@ -23,8 +23,12 @@ enable_mca_no_build=crs,memchecker,snapc,crcp,rml-ftrm,filem-rsh enable_contrib_no_build=libnbc,vt with_memory_manager=no with_tm=no -with_slurm=no with_devel_headers=yes with_portals=no with_valgrind=no with_mpi_param_check=no +if [ -n "$SLURMHOME" ] then + with_slurm=$SLURMHOME + with_pmi=$SLURMHOME +fi +