#1601 Headercheck does not restart if header changes
Metadata
| Property | Value |
|---|---|
| Reported by | Tobias Malkmus (tomalk@mathematik.uni-freiburg.de) |
| Reported at | Mar 16, 2015 16:23 |
| Type | Bug Report |
| Version | 2.3 |
| Operating System | Unspecified / All |
Description
For the current git master of dune-common (core/dune-common@1a9e7684 ) and cmake version 2.8.12.2 and the attached opts the headercheck does nothing if a header is changed after headercheck was called.
To reproduce this bug run make headercheck ones in the build directory of dune-common, change a header eg. dune-common/dune/common/visibility.hh and re run make headercheck.
I get the following output:
[ * ] Built target headercheck__***.hh
[ * ] Built target headercheck__***.hh
The headercheck feature is currently disabled. You can enable it by adding ENABLE_HEADERCHECK=1 to your cmake flags.
[100%] Built target headercheckand no recompiling happens (See config.opts ENABLE_HEADERCHECK=1 is set ).
This makes the headercheck useless for me.