#1584 [CMake] Make headercheck configurable
Metadata
Property | Value |
---|---|
Reported by | Dominic Kempf (dominic.r.kempf@gmail.com) |
Reported at | Mar 6, 2015 12:13 |
Type | Feature Request |
Version | 2.3 |
Operating System | Unspecified / All |
Last edited by | Dominic Kempf (dominic.r.kempf@gmail.com) |
Last edited at | Mar 16, 2015 12:15 |
Closed by | Dominic Kempf (dominic.r.kempf@gmail.com) |
Closed at | Mar 16, 2015 12:15 |
Closed in version | 2.4 |
Resolution | Implemented |
Comment | ..in 1a9e7684882d59c416fa83701ec78c6132eb097d |
Description
The decision on the future of "make headercheck" has been postponed past the 2.4 release.
During our course (which used cmake for the first time) we ran into trouble with the headercheck though: Our course repo with two separate build directories for all modules had 60.000 files, roughly 30.000 of which were related to the headercheck feature. Upon starting a desktop session (on course day 1), Gnome started indexing the home directory on all 30 pool machines, causing the shared file server to die.
We would therefore like a switch for the headercheck. I would even be fine with OFF as a default, but I am open to opinions here. This should go into the 2.4 release for future pool installations.
I will implement this as soon as there are enough opinions.