From e6a85d313453a94b716de6a4454af54e2ba31908 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <i-bird@private-incardon-3.mpi-cbg.de>
Date: Thu, 11 Aug 2016 21:08:28 +0200
Subject: [PATCH] Stop on home folder empty

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

diff --git a/install b/install
index 6dfc2df70..e3302f93b 100755
--- a/install
+++ b/install
@@ -11,6 +11,7 @@ source script/set_mpi
 
 if [ x"$HOME" == x"" ]; then
 	 echo -e "Your $HOME folder is empty \033[91;5;1m FAILED \033[0m"
+	 exit 1
 fi
 
 ##
-- 
GitLab