-
Lorenz Huedepohl authored
In my humble opinion it is much more obvious to specify --with-mpi=no instead of --enable-shared-memory-only to configure without MPI
8c8dfc61
Validating GitLab CI configuration…
Learn more
On Thursday, 7th July from 1 to 3 pm there will be a maintenance with a short downtime of GitLab.
In my humble opinion it is much more obvious to specify --with-mpi=no instead of --enable-shared-memory-only to configure without MPI