[Dune] additional check

[Andreas Dedner]

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 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: check-header.sh
Type: application/octet-stream
Size: 1846 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20080519/3d999a19/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: check-headers.sh
Type: application/octet-stream
Size: 2228 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20080519/3d999a19/attachment-0001.obj>