From 8b11543e390a9104dbc0ccc9b100b33f65afa2a1 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Wed, 22 Feb 2017 01:05:45 +0100
Subject: [PATCH] Fix installation output

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

diff --git a/install b/install
index 7b492853..19b9a2aa 100755
--- a/install
+++ b/install
@@ -70,7 +70,7 @@ discover_os
 
 ## Remove old dependencies and installations
 
-if [ x"$i_dir" == x" " ]; then
+if [ x"$i_dir" == x"" ]; then
  i_dir="$HOME"
 fi
 
-- 
GitLab