#394 header test scripts
Metadata
| Property | Value |
|---|---|
| Reported by | Andreas Dedner (A.S.Dedner@warwick.ac.uk) |
| Reported at | May 19, 2008 11:57 |
| Type | Feature Request |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | Sep 10, 2008 12:27 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | Sep 10, 2008 12:27 |
| Closed in version | Unknown |
| Resolution | Implemented |
| Comment |
Description
The following two script can be used to check the consistency of Makefile.am and of individual header files. To get them to work on dune-grid/dune-common there is still some work to be done with respect to resolving variable in Makefile.am.
- check-headers.sh checks the consistency of EXTRA_DIST and HEADERS in each Makefile.am and calls check-header.sh if required
- check-header.sh.in is used during configure to generate check-header.sh. This script tries to compile a single header given through the command line.