configure: Fix default path when enabling MPI.
Correct showing what the default path is when mpi is installed.
This commit is contained in:
parent
38e0922d1e
commit
edf3d5dbe4
4
configure
vendored
4
configure
vendored
@ -790,11 +790,11 @@ while true; do
|
||||
fromuser=""
|
||||
if [ -z "$MPI_HOME" ]; then
|
||||
#Get the base folder by removing the bin path
|
||||
default_path=$(dirname $(dirname $(which mpirun)) || dirname $(dirname $(which mpiexec)) || true)
|
||||
default_mpi_path=$(dirname $(dirname $(which mpirun)) || dirname $(dirname $(which mpiexec)) || true)
|
||||
read -p "Please specify the MPI toolkit folder. [Default is $default_mpi_path]: " MPI_HOME
|
||||
fromuser="1"
|
||||
if [ -z "$MPI_HOME" ]; then
|
||||
MPI_HOME=$default_path
|
||||
MPI_HOME=$default_mpi_path
|
||||
fi
|
||||
fi
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user