From f7d3f9f98de543c6c22a05f3f87b4cca8e72b7ea Mon Sep 17 00:00:00 2001
From: Markus Blatt <mblatt@dune-project.org>
Date: Tue, 19 Feb 2013 19:54:56 +0000
Subject: [PATCH] Manually removed differences with release

[[Imported from SVN: r7366]]
---
 doc/buildsystem/buildsystem.tex | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/doc/buildsystem/buildsystem.tex b/doc/buildsystem/buildsystem.tex
index 0e674dd29..5e1320cf3 100644
--- a/doc/buildsystem/buildsystem.tex
+++ b/doc/buildsystem/buildsystem.tex
@@ -1541,6 +1541,22 @@ you options file the \configure  cache is created. Be aware that the file persis
 between \dunecontrol runs. If you encounter any problems, you want to change the 
 configuration or to rerun all checks, the cache file should be removed manually.
 
+\minisec{Faster module search}
+If the environment variable \texttt{DUNE\_CONTROL\_PATH} is not set, \dunecontrol 
+recursively searches for \dune modules below the working directory. Depending on
+your installation, this search may take quite a bit of time.  It can be
+avoided by including the paths to the \texttt{dune.module} files of all modules in 
+\texttt{DUNE\_CONTROL\_PATH}.
+
+This list of paths can actually be created on the fly by a command.
+Let us assume all \dune modules are in one directory, which is the working directory 
+for \dunecontrol, too. By adding the line
+\begin{lstlisting}[language=make,showstringspaces=false]
+DUNE_CONTROL_PATH="`ls */dune.module | tr '\n' ':'`"
+\end{lstlisting}
+to your opts file, no search will be performed.  Instead, only the faster, non-recursive 
+\texttt{ls} command is called.
+
 \section{Further documentation}
 
 \minisec{automake \& Makefile.am}
-- 
GitLab