[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
http://hal.iwr.uni-heidelberg.de/flyspray/?do=details&id=277
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.

Cheers,

Markus



More information about the Dune mailing list