Commit e6a85d31 authored by Pietro Incardona's avatar Pietro Incardona
Browse files

Stop on home folder empty

parent fff24322
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment