#1601 Headercheck does not restart if header changes
|Reported by||Tobias Malkmus (email@example.com)|
|Reported at||Mar 16, 2015 16:23|
|Operating System||Unspecified / All|
For the current git master of dune-common (core/dune-common@1a9e7684 ) and cmake version 188.8.131.52 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
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.