Seems to work either way, but add semi-colon for correctness

This commit was SVN r29913.

contrib/platform/intel/bend/linux

@@ -25,7 +25,7 @@ with_tm=no
 with_devel_headers=yes
 with_portals=no
 with_valgrind=no
-if [ -n "$SLURMHOME" ] then
+if [ -n "$SLURMHOME" ] ; then
     with_slurm=$SLURMHOME
     with_pmi=$SLURMHOME
 fi

contrib/platform/intel/bend/linux-optimized

@@ -27,7 +27,7 @@ with_devel_headers=yes
 with_portals=no
 with_valgrind=no
 with_mpi_param_check=no
-if [ -n "$SLURMHOME" ] then
+if [ -n "$SLURMHOME" ] ; then
     with_slurm=$SLURMHOME
     with_pmi=$SLURMHOME
 fi