Commit 8c8dfc61 authored by Lorenz Huedepohl's avatar Lorenz Huedepohl
Browse files

Rename option to compile without MPI

In my humble opinion it is much more obvious to specify

  --with-mpi=no

instead of

  --enable-shared-memory-only

to configure without MPI
parent 3ce540b4