From 16bd381d76567554b6a66d84b3597e351f0eb4fd Mon Sep 17 00:00:00 2001
From: Jorrit Fahlke <joe@dune-project.org>
Date: Wed, 13 Jan 2010 15:56:18 +0000
Subject: [PATCH] little more doc for DUNE_MPI

[[Imported from SVN: r5824]]
---
 m4/dune_mpi.m4 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/m4/dune_mpi.m4 b/m4/dune_mpi.m4
index 473b2f046..96128b6c0 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
-- 
GitLab