From 3f4865817890d98ef30fcc252663532cf4b68c45 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Fri, 11 Sep 2015 22:25:54 +0200
Subject: [PATCH] Fixing install script

---
 install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install b/install
index aed9bbdf..f22e10e7 100755
--- a/install
+++ b/install
@@ -107,10 +107,10 @@ fi
 
 ## if a new compiler has been installed reinstall all the dependencies
 
-if [ x"$compiler_opt" != "" ]; then
+if [ x"$compiler_opt" != x"" ]; then
   ./script/install_MPI.sh $i_dir $compiler_opt
   export PATH="$PATH:$i_dir/MPI/bin"
-  configure_options="$configure_options CXX=mpic++  "
+  configure_options="$configure_options CXX=mpic++ "
   MPI_installed=1
   ./script/install_BOOST.sh $i_dir $compiler_opt
   configure_options=" $configure_options --with-boost=$i_dir/BOOST "
-- 
GitLab