Forked from
Core Modules / dune-common
5719 commits behind the upstream repository.
-
Christian Engwer authored
apply the two caching patches proposed by Christoph Grüninger, at least for me they worked flawless and showed some considerable configure speedup. [[Imported from SVN: r6539]]
Christian Engwer authoredapply the two caching patches proposed by Christoph Grüninger, at least for me they worked flawless and showed some considerable configure speedup. [[Imported from SVN: r6539]]
dune.m4 17.06 KiB