diff --git a/src/mpi-start.in b/src/mpi-start.in index c744f9994d069ef76db98a392624fa942e2f5dc3..3212d72f886c23192ff808be8f878cc2a5c2ae8e 100755 --- a/src/mpi-start.in +++ b/src/mpi-start.in @@ -487,7 +487,7 @@ mpi_start_detect_os() { if test $? -eq 0 ; then export MPI_START_OS_DIST_TYPE="debian" fi - echo $MPI_START_OS_DIST | egrep -i "redhat|scientificlinux" > /dev/null + echo $MPI_START_OS_DIST | egrep -i "redhat|scientific" > /dev/null if test $? -eq 0 ; then export MPI_START_OS_DIST_TYPE="el" fi