#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 headercheck
and no recompiling happens (See config.opts ENABLE_HEADERCHECK=1
is set ).
This makes the headercheck useless for me.