diff --git a/script/install_MPI.sh b/script/install_MPI.sh
index 9caa36f65178e0f4a0da174400d45a7de6458a33..57ae2b2c7ee86c3580273dda3637ee7782c7017e 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