OPM/opm-core — pull request #175 by rolk (2013-03-06 19:09:36+00:00)
Title: Enable dunecontrol to use a build tree as module dir

dunecontrol looks for a dune.module to determine whether a directory
contains a module or not. By copying this file to the build tree, we
can use (out-of-source!) build trees in dunecontrol too.