diff --git a/install b/install index 8f64723af78cc8bc2d85afdbabcb8a3dae783c6c..c6cf6978f8ffcea6a74262660cd11fdf2cf6bf83 100755 --- a/install +++ b/install @@ -135,7 +135,8 @@ if [ x"$MPI_installation_required" == x"yes" ]; then else command -v mpic++ >/dev/null 2>&1 if [ $? -eq 0 ]; then - options="CXX=mpic++" + configure_options="$configure_options CXX=mpic++ " + fi fi ## if a new compiler has been installed reinstall all the dependencies