From 8b5b48ba46c7501abf54611881273decac4c91e6 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Thu, 5 Nov 2015 23:47:24 +0100
Subject: [PATCH] Fixed install script

---
 install | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/install b/install
index 8f64723a..c6cf6978 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
-- 
GitLab