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=""
|
fromuser=""
|
||||||
if [ -z "$MPI_HOME" ]; then
|
if [ -z "$MPI_HOME" ]; then
|
||||||
#Get the base folder by removing the bin path
|
#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
|
read -p "Please specify the MPI toolkit folder. [Default is $default_mpi_path]: " MPI_HOME
|
||||||
fromuser="1"
|
fromuser="1"
|
||||||
if [ -z "$MPI_HOME" ]; then
|
if [ -z "$MPI_HOME" ]; then
|
||||||
MPI_HOME=$default_path
|
MPI_HOME=$default_mpi_path
|
||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user