diff --git a/install b/install
index 6dfc2df70ef9a26440b9f8d5c08d18d61bb8753c..e3302f93bbe57d26d349dadf120be857c365141e 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
 
 ##