Leonidas-from-XIV / dune / 263

7%

push

github

Use [Config.Toggle] for toolchains (#10810)

This changes the variable that enables toolchains from
DUNE_CONFIG__TOOLCHAINS_ENABLED=[true|false] to
DUNE_CONFIG__TOOLCHAINS=[enabled|disabled], following the established
convention for such variables in dune, and for compatibility with
upcoming support for compile-time configuration.

Signed-off-by: Stephen Sherratt <stephen@sherra.tt>

0 of 5 new or added lines in 1 file covered. (0.0%)

2911 of 42125 relevant lines covered (6.91%)

27041.08 hits per line