Forked from
Core Modules / dune-common
4394 commits behind the upstream repository.
dunecontrol is capable of doing out of source builds, that are not nested within the source directory by giving an absolute path to the --builddir option. Unfortuantely, this (nice) feature was not documented.