update packages

tomMoral · Mar 10, 2021 · 2f39e76 · 2f39e76
1 parent 0fc8907
commit 2f39e76
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci/install_mpi.sh b/ci/install_mpi.sh
@@ -8,9 +8,11 @@ case "$MPI_INSTALL" in
     "system")
 	case "$MPI_IMPL" in
 	    "openmpi")
+		sudo apt-get update & \
 		sudo apt-get install -qy libopenmpi-dev openmpi-bin
 		;;
 	    "mpich")
+		sudo apt-get update & \
 		sudo apt-get install -qy mpich
 		;;
 	    *)