[Dune] Globally installed modules vs. local modules

[Christoph Grüninger]

Hi Lukas,
you could also use dunecontrol's --only option and
explicitly state all modules you have local. Then
dunecontrol won't try to use the installed module.

Bye
Christoph

-- 
On the one hand [computer "science"] has components
of the purest of mathematics and on the other hand
of the dirtiest of engineering. -- A. Oettinger 1967