From cfd2f6a03d909e7768499b3063ebe201166feda4 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 18 Jul 2020 20:02:58 +0200
Subject: [PATCH] Fixing MPI install on furiosa

---
 script/install_MPI.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/script/install_MPI.sh b/script/install_MPI.sh
index 9caa36f65..57ae2b2c7 100755
--- a/script/install_MPI.sh
+++ b/script/install_MPI.sh
@@ -12,6 +12,7 @@ cd openmpi-4.0.4
 
 if [ -f ../mpi_add_options ]; then
 	mpi_options=$(cat ../mpi_add_options)
+	echo "Adding MPI options: $mpi_options"
 fi
 
 if [ x"$3" == x"1" ]; then
-- 
GitLab