[Dune] additional check

[Christian Engwer]

Hi,

these kind of tests are a really good idea.

Once the tests are running again (see my other mail) I would like to
add such a test. Could you please add some short documentation on the
usage, polish the scripts and create a bug report, such that we donÄt
forget about it.

Thanks
  Christian

On Mon, May 19, 2008 at 09:35:23AM +0200, Andreas Dedner wrote:
> Hi,
> here is one check script we find rather helpful.
> On the one hand it tests if the order in which headers
> are included is irrelevant; we just compile each header
> separately. 
> The second thing which is tested is, if all header are
> correctly included in the Makefiles for make dist.
> The test can be either run during a nightly build 
> or from a user before a check in.
> Best
> Andreas 



> _______________________________________________
> Dune mailing list
> Dune at dune-project.org
> http://lists.dune-project.org/mailman/listinfo/dune