Fixing MPI installation

script/download_MPI.sh

@@ -2,10 +2,6 @@
 
 # check if the directory $1/MPI exist
 
-if [ -d "$1/MPI" ]; then
-  echo "MPI already installed"
-  exit 0
-fi
 rm -rf openmpi-3.1.3
 rm openmpi-3.1.3.tar.gz
 wget http://ppmcore.mpi-cbg.de/upload/openmpi-3.1.3.tar.gz

script/install_MPI.sh

@@ -2,6 +2,11 @@
 
 # check if the directory $1/MPI exist
 
+if [ -d "$1/MPI" ]; then
+  echo "MPI already installed"
+  exit 0
+fi
+
 ./script/download_MPI.sh
 
 #