aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 2de1a621c9..3a26f73dfa 100755
--- a/configure
+++ b/configure
@@ -802,11 +802,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