Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Markus Blatt authored
Previously this was only set if run_default_configure was executed before. Ergo dunecontrol make did try to use cmake even if USE_CMAKE=no was set. This fixes flyspray 1560. https://dune-project.org/flyspray/index.php?do=details&task_id=1560
Markus Blatt authoredPreviously this was only set if run_default_configure was executed before. Ergo dunecontrol make did try to use cmake even if USE_CMAKE=no was set. This fixes flyspray 1560. https://dune-project.org/flyspray/index.php?do=details&task_id=1560
