diff --git a/m4/dune_mpi.m4 b/m4/dune_mpi.m4 index 473b2f046ac902deb3487728f45cd68926899e3f..96128b6c09b40abc93a73827723f833263867beb 100644 --- a/m4/dune_mpi.m4 +++ b/m4/dune_mpi.m4 @@ -67,7 +67,8 @@ dnl -*- autoconf -*- # MPI_CPPFLAGS (deprecated in favor of DUNEMPICPPFLAGS) # MPI_LDFLAGS (deprecated in favor of DUNEMPILIBS and DUNEMPILDFLAGS) # dune_MPI_VERSION -# with_mpi +# with_mpi ("no" if MPI is missing, "yes" followed by some more details if +# MPI is present) # # configure substitutions/Makefile variables # MPICC