From bea5d0b898297a48ab72fd27b2801ad113cac9b6 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 18 Jul 2020 19:56:54 +0200
Subject: [PATCH] Fixing

---
 script/install_MPI.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/script/install_MPI.sh b/script/install_MPI.sh
index 58091de4d..9caa36f65 100755
--- a/script/install_MPI.sh
+++ b/script/install_MPI.sh
@@ -10,8 +10,8 @@ fi
 ./script/download_MPI.sh
 cd openmpi-4.0.4
 
-if [ -f mpi_add_options ]; then
-	mpi_options=$(cat mpi_add_options)
+if [ -f ../mpi_add_options ]; then
+	mpi_options=$(cat ../mpi_add_options)
 fi
 
 if [ x"$3" == x"1" ]; then
-- 
GitLab