Merge branch 'cmake-mpi' into 'master'

CMake MPI fixes

See merge request gmsh/gmsh!34
2 jobs for master in 10 minutes and 29 seconds (queued for 5 minutes and 1 second)
Status Name Job ID Coverage
  Test
passed full #478

00:08:59

passed minimal #479

00:01:29