[Dune] comments about optional configure test

Markus Blatt Markus.Blatt at ipvs.uni-stuttgart.de
Mon Apr 16 10:38:17 CEST 2007

Dear fellow developers,

could you please comment on flyspray task
and if necessary alter the list of tests to skip.

I think it is worthwile to skip optional tests by default and thus
reduce the time to build dune.



More information about the Dune mailing list