[Dune] Policy module configuration

[Christoph Grüninger]

Hi Markus,
I don't know what a user is supposed to do but I know that some of my 
colleagues use optimized configuration for Dune core modules (like 
-march, -O3, -DNDEBUG) and DuMuX (like -g, -Wwhatever). The idea is to 
build Dune core modules very rarely and profit from the speed of the 
optimized code.
At least with configure cache this went terribly wrong.

For myself I try to avoid different configurations for the modules.

Ciao
Christoph

-- 
Actually, most flamewars are caused
by Vim being much worse than Emacs.
[http://science.slashdot.org/comments.pl?sid=177208&cid=14705579]