Update platform files

cmr=v1.7.4:reviewer=ompi-gk1.7

This commit was SVN r29910.

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
+if [ -n "$SLURMHOME" ] then
-with_pmi=$SLURMHOME
+    with_slurm=$SLURMHOME
+    with_pmi=$SLURMHOME
+fi

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
+