Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
4394 commits behind the upstream repository.
user avatar
Dominic Kempf authored
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.
0a179203
History