Merge branch 'feature/fix#25' into 'master' (!358) · Merge requests · Core Modules / dune-common · GitLab

Martin Nolte requested to merge cherry-pick-17985925 into releases/2.6 Nov 02, 2017

[dunecontrol] evaluate CMAKE_MODULE_PATH from opts file

Closes #25 (closed)

See merge request !355 (merged)

(cherry picked from commit 17985925)

6bb39b78 [dunecontrol] evaluate CMAKE_MODULE_PATH from opts file