tmp

ecmwf-ifs · Mar 6, 2025 · 6081475 · 6081475
1 parent 289391a
commit 6081475
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/tools/install-mpi.sh b/.github/tools/install-mpi.sh
@@ -85,6 +85,8 @@ case "$os" in
         fi
         if [ -n "${I_MPI_ROOT}" ]; then
           echo "MPI is already installed at I_MPI_ROOT=${I_MPI_ROOT}."
+          ls ${I_MPI_ROOT}
+          ls ${I_MPI_ROOT}/lib
           echo "Not taking any action."
           exit 0
         fi